PlanetPhysics/C 3CategoryGeneratorsCorollary
Appearance
\newcommand{\sqdiagram}[9]{Failed to parse (unknown function "\diagram"): {\displaystyle \diagram #1 \rto^{#2} \dto_{#4}& \eqno{\mbox{#9}}} }
\begin{corollary}(Corollary 1.4 in ref. [1])
Let be an object with a family of generators in a -category. Then, the finitely generated subobjects of form a direct family of subobjects in the -category whose direct limit Failed to parse (unknown function "\limdir"): {\displaystyle \limdir \left\{A_i\right\}} is .
\end{corollary}
All Sources
[edit | edit source]References
[edit | edit source]- ↑ 1.0 1.1 See p.83 in ref. in the Bibliography for categories and algebraic topology