has_finite_limits (view)
16 rows
This data as json, CSV (advanced)
| name |
|---|
| Ab |
| AbTor |
| AbTorF |
| CRing |
| DGph |
| FinGrp |
| FinSet |
| Grp |
| LieGrp |
| NormAb |
| Quiv |
| SemiGrp |
| Set |
| Top |
| TopGrp |
| Tor |
Advanced export
JSON shape: default, array, newline-delimited
CREATE VIEW "has_finite_limits" AS select name from categories where exists (select 1 from categorical_structure where name == category and construction == "equalizer") and exists (select 1 from has_finite_products where name == has_finite_products.name) or exists (select 1 from categorical_structure where name == category and construction == "pullback") and exists (select 1 from categorical_structure where name == category and construction == "terminal object");