有限完備
finitely complete
summary.icon
有限完備な圏とは任意の
有限極限
が存在する圏
dual.icon
有限余完備