cartesian_closed_categories (view)
2 rows sorted by category descending
This data as json, CSV (advanced)
category ▲ |
---|
Set |
Cat |
Advanced export
JSON shape: default, array, newline-delimited
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");