PlanetPhysics/C 3CategoryCorollary

\newcommand{\sqdiagram}[9]{$$ \diagram #1 \rto^{#2} \dto_{#4}&

\eqno{\mbox{#9}}$$ }

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

Any complete $$C_3$$-category $$\mathcal{A}$$ is a $$C_2$$-category.

\end{corollary}