Topos: SSet

SSet is a topos.

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

SSet has a natural numbers object.

topoi: SSet

This data as json

category is_grothendieck has_nno is_boolean is_well_pointed
SSet 1 1 0 0