# 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-categoryif 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 SourcesEdit

^{[1]}^{[2]}

## ReferencesEdit

- ↑
^{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