universal_objects
2 rows where qualifier_hr = "of any preorder" sorted by qualifier_hr
This data as json, CSV (advanced)
construction | qualifier_hr ▼ |
---|---|
directed colimit | of any preorder |
directed limit | of any preorder |
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") );