PlanetPhysics/C 1Category2
\newcommand{\sqdiagram}[9]{Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikiversity.org/v1/":): {\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