Topos: RT(K₂)

RT(K₂) is a topos.

RT(K₂) has a natural numbers object.

topoi: RT(K₂)

This data as json

category is_grothendieck has_nno is_boolean is_well_pointed
RT(K₂) 0 1 0 0