has_zero_object (view)
8 rows sorted by category descending
This data as json, CSV (advanced)
category ▲ |
---|
Vect_k |
Set* |
Rng |
Mod(Ab) |
Grp |
FinVect_k |
FinGrp |
Ab |
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");