universal_objects

11 rows sorted by qualifier_hr

✎ View and edit SQL

This data as json, CSV (advanced)

Suggested facets: qualifier_hr

construction qualifier_hr ▼
initial object  
terminal object  
pushout cospan
idempotent splitting endomorphism
directed colimit of any preorder
directed limit of any preorder
pullback span
binary product two objects
binary sum two objects
coequalizer two parallel arrows
equalizer two parallel arrows

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")
);