has_finite_colimits (view)

6 rows

✎ View and edit SQL

This data as json, CSV (advanced)

name
Ab
CRing
Grp
Set
Set*
Top

Advanced export

JSON shape: default, array, newline-delimited

CSV options: 

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