完備圈
complete category
←→餘完備圈 (cocomplete category) 雙完備圈 (bicomplete category) 有限完備 (finitely complete。有限極限 (finite limit) を持つ) 連續函手 (continuous functor) $ Fが極限 (圈)を保つとは、任意の圖式$ G:{\bf J}\to{\bf C}がもし極限 (圈)を持つならば合成した圖式$ (G;F):{\bf J}\to{\bf D}もまた極限 (圈)を持ち、更に$ F(\lim_\larr G)=\lim_\larr(G;F)である場合を言ふ ←→餘連續函手 (cocontinuous functor) 函手$ F:{\bf C}\to{\bf D}が餘連續函手であるとは、$ Fが餘極限を保つ場合を言ふ $ Fが餘極限を保つとは、任意の圖式$ G:{\bf J}\to{\bf C}がもし餘極限を持つならば合成した圖式$ (G;F):{\bf J}\to{\bf D}もまた餘極限を持ち、更に$ F(\lim_\to G)=\lim_\to(G;F)である場合を言ふ