universal_objects
11 rows sorted by qualifier_hr descending
This data as json, CSV (advanced)
Suggested facets: qualifier_hr
construction | qualifier_hr ▲ |
---|---|
coequalizer | two parallel arrows |
equalizer | two parallel arrows |
binary product | two objects |
binary sum | two objects |
pullback | span |
directed colimit | of any preorder |
directed limit | of any preorder |
idempotent splitting | endomorphism |
pushout | cospan |
initial object | |
terminal object |
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") );