PlanetPhysics/C 1Category2
\newcommand{\sqdiagram}[9]{Failed to parse (unknown function "\diagram"): {\displaystyle \diagram #1 \rto^{#2} \dto_{#4}& \eqno{\mbox{#9}}} }
A category with coproducts is called a -category if for every family of
of monomorphisms the morphism is also a monomorphism ([1]).
With certain additional conditions (as explained in ref. [1]) may satisfy the Grothendieck axiom , thus becoming a -category (Ch. 11 in [1]).
All Sources
editReferences
edit- ↑ 1.0 1.1 1.2 1.3 See p.81 in ref. in the Bibliography for categories and algebraic topology
- ↑ Ref. in the Bibliography for categories and algebraic topology