# PlanetPhysics/C 3CategoryTheorem

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

\begin{theorem} (proposition 1.2. in ref.^{[1]}.)

A cocomplete Abelian category is if and only if the direct limit of every direct family of subobjects of an object is equal to . \end{theorem}

## All SourcesEdit

^{[1]}

## ReferencesEdit

- ↑
^{1.0}^{1.1}See p.82 and eq. (1) in ref. in the Bibliography for categories and algebraic topology