has_finite_products (view)

9 rows

✎ View and edit SQL

This data as json, CSV (advanced)

name
Ab
CRing
Circ
Diff
Grp
SSet
Set
Top
Vect_k

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