universal_objects

11 rows sorted by qualifier_hr descending

✎ View and edit SQL

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

CSV options: 

CREATE TABLE "universal_objects" (
	"construction"	TEXT NOT NULL UNIQUE,
	"qualifier_hr"	TEXT NOT NULL,
	PRIMARY KEY("construction")
);