catabase
| category | is_grothendieck | has_nno | is_boolean | is_well_pointed |
|---|---|---|---|---|
| Eff | 0 | 1 | 0 | 0 |
| RT(K₁) | 0 | 1 | 0 | 0 |
| RT(K₂) | 0 | 1 | 0 | 0 |
| KV | 0 | 1 | 0 | 0 |
| Set | 1 | 1 | 1 | 1 |
| SSet | 1 | 1 | 0 | 0 |
| FinSet | 1 | 0 | 1 | 1 |
| Quiv | 1 | 1 | 0 | 0 |
| FinOrd | 1 | 0 | 1 | 1 |
| Sierp | 1 | 1 | 0 | 0 |
| category | is_grothendieck | has_nno | is_boolean | is_well_pointed |
|---|---|---|---|---|
| Eff | 0 | 1 | 0 | 0 |
| RT(K₁) | 0 | 1 | 0 | 0 |
| RT(K₂) | 0 | 1 | 0 | 0 |
| KV | 0 | 1 | 0 | 0 |
| Set | 1 | 1 | 1 | 1 |
| SSet | 1 | 1 | 0 | 0 |
| FinSet | 1 | 0 | 1 | 1 |
| Quiv | 1 | 1 | 0 | 0 |
| FinOrd | 1 | 0 | 1 | 1 |
| Sierp | 1 | 1 | 0 | 0 |