universal_objects
11 rows sorted by construction descending
This data as json, CSV (advanced)
Suggested facets: qualifier_hr
construction ▲ | qualifier_hr |
---|---|
terminal object | |
pushout | cospan |
pullback | span |
initial object | |
idempotent splitting | endomorphism |
equalizer | two parallel arrows |
directed limit | of any preorder |
directed colimit | of any preorder |
coequalizer | two parallel arrows |
binary sum | two objects |
binary product | two objects |
Advanced export
JSON shape: default, array, newline-delimited, object
CREATE TABLE "universal_objects" ( "construction" TEXT NOT NULL UNIQUE, "qualifier_hr" TEXT NOT NULL, PRIMARY KEY("construction") );