catabase
category | is_grothendieck | has_nno | is_boolean | is_well_pointed |
---|---|---|---|---|
FinOrd | 1 | 0 | 1 | 1 |
FinSet | 1 | 0 | 1 | 1 |
Quiv | 1 | 1 | 0 | 0 |
SSet | 1 | 1 | 0 | 0 |
Set | 1 | 1 | 1 | 1 |
Sierp | 1 | 1 | 0 | 0 |
category | is_grothendieck | has_nno | is_boolean | is_well_pointed |
---|---|---|---|---|
FinOrd | 1 | 0 | 1 | 1 |
FinSet | 1 | 0 | 1 | 1 |
Quiv | 1 | 1 | 0 | 0 |
SSet | 1 | 1 | 0 | 0 |
Set | 1 | 1 | 1 | 1 |
Sierp | 1 | 1 | 0 | 0 |