PlanetPhysics/C 3CategoryTheorem

\newcommand{\sqdiagram}[9]{Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikiversity.org/v1/":): {\displaystyle \diagram #1 \rto^{#2} \dto_{#4}& \eqno{\mbox{#9}}} }

\begin{theorem} (proposition 1.2. in ref. .)

A cocomplete Abelian category is $C_{3}$ if and only if the direct limit of every direct family of subobjects $\left\{A_{i}\right\}$ of an object $A$ is equal to $\bigcup A_{i}$. \end{theorem}