補題（p62の系） の終対象のみで張られる充満な部分圏は、空であるか可縮な亜群である。 特に2つの終対象はユニークに同型である。 可縮な亜群とは、「対象が1つしかない圏に同値な圏」であり、あるいは、 「すべてのhom集合がただ1つしか元を持たない圏」の…