has_finite_limits (view)

16 rows sorted by name

✎ View and edit SQL

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

CSV options: 

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