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
editReferences
edit- ↑ 1.0 1.1 Ref. in the Bibliography for categories and algebraic topology
- ↑ 2.0 2.1 2.2 Ref. in the Bibliography for categories and algebraic topology