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

edit

[1] [2]

References

edit
  1. 1.0 1.1 1.2 1.3 See p.81 in ref.   in the Bibliography for categories and algebraic topology
  2. Ref.   in the Bibliography for categories and algebraic topology