Category of Sets

The category of sets is a category with H-Sets as objects, and functions as morphisms.

Properties

• In Classical Mathematics, the Opposite Category of the category of sets is the Category of Complete Atomic Boolean Algebras. This does not work in Constructive Mathematics: instead, the opposite of the category of sets is the Category of Complete Atomic Heyting Algebras.

• The category of sets is a Grothendieck Topos.