universal_objects

11 rows

✎ View and edit SQL

This data as json, CSV (advanced)

Suggested facets: qualifier_hr

construction ▼ qualifier_hr
binary product two objects
binary sum two objects
coequalizer two parallel arrows
directed colimit of any preorder
directed limit of any preorder
equalizer two parallel arrows
idempotent splitting endomorphism
initial object  
pullback span
pushout cospan
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")
);