has_finite_limits (view)
16 rows sorted by name descending
This data as json, CSV (advanced)
name ▲ |
---|
Tor |
TopGrp |
Top |
Set |
SemiGrp |
Quiv |
NormAb |
LieGrp |
Grp |
FinSet |
FinGrp |
DGph |
CRing |
AbTorF |
AbTor |
Ab |
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");