cartesian_closed_categories (view)

2 rows

✎ View and edit SQL

This data as json, CSV (advanced)

CREATE VIEW "cartesian_closed_categories" AS select category from monoidal_categories
where exists (select 1 from categorical_structure where categorical_structure.category == category and construction == "binary product");