2 rows

View and edit SQL

category
Cat
Set

Advanced export

JSON shape: default, array, newline-delimited

CSV options:

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