9 rows sorted by name descending

View and edit SQL

name ▲
Vect_k
Top
Set
SSet
Grp
Diff
Circ
CRing
Ab

Advanced export

JSON shape: default, array, newline-delimited

CSV options:

CREATE VIEW "has_finite_products" AS select name from categories
where exists (select 1 from categorical_structure where name == category and construction == "terminal object")
and exists (select 1 from categorical_structure where name == category and construction == "binary product");