has_zero_object (view)
8 rows sorted by category
This data as json, CSV (advanced)
| category ▼ |
|---|
| Ab |
| FinGrp |
| FinVect_k |
| Grp |
| Mod(Ab) |
| Rng |
| Set* |
| Vect_k |
Advanced export
JSON shape: default, array, newline-delimited
CREATE VIEW "has_zero_object" AS select distinct enrichments.category from enrichments join categorical_structure using (category)
where homs = 'Set*' and construction in ("initial object", "terminal object");