universal_objects

2 rows where qualifier_hr = "of any preorder" sorted by construction descending

✎ View and edit SQL

This data as json, CSV (advanced)

qualifier_hr ✖

  • of any preorder · 2 ✖
construction ▲ qualifier_hr
directed limit of any preorder
directed colimit of any preorder

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