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