PlanetPhysics/C 3CategoryCorollary

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

\begin{corollary} (Corollary 1.3 in ref. [1].)

Any complete -category is a -category.

\end{corollary}

All Sources

edit

[1]

References

edit
  1. 1.0 1.1 See p.83 in ref.  , in the Bibliography for categories and algebraic topology