これはこのページの過去の版です。Bellcricket (会話 | 投稿記録) による 2020年12月30日 (水) 06:59 (個人設定で未設定ならUTC)時点の版 (削除依頼終了、存続)であり、現在の版とは大きく異なる場合があります。
数学では、完備圏とは任意の小さな極限が存在する圏である。つまり、すべての図式F : J → C ( Jは小さい)において、Cの極限がある場合、圏Cを完備と呼ぶ。双圏、 余完備圏とは、任意の小さな極限が存在する圏である。双完備圏とは、完備と余完備の両方の性質を持った圏である。