Axiom (C.4: Fundamental pushouts). Each of the finite number of maps comprising is an equivalence.
Original source: arXiv:1112.0040v6
Original source · 1112.0040v6
Axiom (C.4: Fundamental pushouts). Each of the finite number of maps comprising is an equivalence.
Original source: arXiv:1112.0040v6
Original source · 1112.0040v6