has_finite_colimits (view)
6 rows sorted by name descending
This data as json, CSV (advanced)
name ▲ |
---|
Top |
Set* |
Set |
Grp |
CRing |
Ab |
Advanced export
JSON shape: default, array, newline-delimited
CREATE VIEW "has_finite_colimits" AS select name from categories where exists (select 1 from categorical_structure where name == category and construction == "coequalizer") and exists (select 1 from has_finite_sums where name == has_finite_sums.name) or exists (select 1 from categorical_structure where name == category and construction == "pushout") and exists (select 1 from categorical_structure where name == category and construction == "initial object");