9 rows

View and edit SQL

Link category op
1 1
CompBoolAlg FinSet
Frm Loc
Hilb Hilb
Perm Perm
Prof Prof
Rel Rel
Span(Set) Span(Set)
nCob nCob

Advanced export

JSON shape: default, array, newline-delimited, object

CSV options:

CREATE TABLE "opposite_categories" (
	"category"	TEXT NOT NULL UNIQUE,
	"op"	TEXT NOT NULL CHECK("category" <= "op") UNIQUE,
	FOREIGN KEY("category") REFERENCES "categories"("name") on delete restrict on update cascade,
	PRIMARY KEY("category","op"),
	FOREIGN KEY("op") REFERENCES "categories"("name") on delete restrict on update cascade
);