PlanetPhysics/C2 Category

\newcommand{\sqdiagram}[9]{Failed to parse (unknown function "\diagram"): {\displaystyle \diagram #1 \rto^{#2} \dto_{#4}& \eqno{\mbox{#9}}} }

In general, a -category  is an -category, or, alternatively, an - and  -category  with certain additional conditions for the canonical morphism from direct sums to products of any family of objects in  [1]).

A -category is defined as a category that has products, coproducts and a zero object, and if the morphism is a monomorphism for any family of objects in (p. 81 in [2]).

One readily obtains the result that a -category is ([2]).

All Sources

edit

[2] [1]

References

edit
  1. 1.0 1.1 Ref.   in the Bibliography for categories and algebraic topology
  2. 2.0 2.1 2.2 Ref.   in the Bibliography for categories and algebraic topology