has_finite_products (view)
9 rows sorted by name descending
This data as json, CSV (advanced)
name ▲ |
---|
Vect_k |
Top |
Set |
SSet |
Grp |
Diff |
Circ |
CRing |
Ab |
Advanced export
JSON shape: default, array, newline-delimited
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");