集合圏
category of sets
定義
以下の4条件を満たす圏のことを集合圏Setという
Setはトポスである
Setのエピ射は切断を持つ
選択公理
Setはwell-pointedである
Setは自然数対象を持つ