例
CTop をコンパクト位相空間全体の圏とする。
>>211より CTop は完備である。
CTop は冪良(過去スレ018の650)であるから>>250より余完備である。