universal_objects

2 rows where qualifier_hr = "of any preorder"

✎ View and edit SQL

This data as json, CSV (advanced)

qualifier_hr ✖

  • of any preorder · 2 ✖
construction ▼ qualifier_hr
directed colimit of any preorder
directed limit 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")
);