定義

以下の4条件を満たす圏のことを集合圏Setという

Setはトポスである

Setのエピ射は切断を持つ

Setはwell-pointedである

Setは自然数対象を持つ