11 rows sorted by construction descending

View and edit SQL

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

CSV options:

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