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 |
RT(K₂) is a topos.
RT(K₂) has a natural numbers object.
This data as json
| category | is_grothendieck | has_nno | is_boolean | is_well_pointed |
|---|---|---|---|---|
| RT(K₂) | 0 | 1 | 0 | 0 |