8 rows

View and edit SQL

category
Ab
FinGrp
FinVect_k
Grp
Mod(Ab)
Rng
Set*
Vect_k

Advanced export

JSON shape: default, array, newline-delimited

CSV options:

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");