opposite_categories

9 rows

✎ View and edit SQL

This data as json, CSV (advanced)

Link category op
1,1 1 1
CompBoolAlg,FinSet CompBoolAlg FinSet
Frm,Loc Frm Loc
Hilb,Hilb Hilb Hilb
Perm,Perm Perm Perm
Prof,Prof Prof Prof
Rel,Rel Rel Rel
Span(Set),Span(Set) Span(Set) Span(Set)
nCob,nCob 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
);