Topos: Quiv
Quiv is a topos.
Quiv is Grothendieck; it acts like a category of sheaves.
Quiv has a natural numbers object.
topoi: Quiv
This data as json
| category | is_grothendieck | has_nno | is_boolean | is_well_pointed |
|---|---|---|---|---|
| Quiv | 1 | 1 | 0 | 0 |
Quiv is a topos.
Quiv is Grothendieck; it acts like a category of sheaves.
Quiv has a natural numbers object.
This data as json
| category | is_grothendieck | has_nno | is_boolean | is_well_pointed |
|---|---|---|---|---|
| Quiv | 1 | 1 | 0 | 0 |