Topos: Set
Set is a topos.
Set is Grothendieck; it acts like a category of sheaves.
Set has a natural numbers object.
Set is Boolean; the Law of Excluded Middle is valid within Set.
Set is well-pointed.
topoi: Set
This data as json
| category | is_grothendieck | has_nno | is_boolean | is_well_pointed |
|---|---|---|---|---|
| Set | 1 | 1 | 1 | 1 |