Topos: FinSet

FinSet is a topos.

FinSet is Grothendieck; it acts like a category of sheaves.

FinSet is Boolean; the Law of Excluded Middle is valid within FinSet.

FinSet is well-pointed.

topoi: FinSet

This data as json

category is_grothendieck has_nno is_boolean is_well_pointed
FinSet 1 0 1 1