cores

4 rows sorted by category descending

✎ View and edit SQL

This data as json, CSV (advanced)

category ▲ groupoid
Set Bij
Rel SymmRel
Hilb Hilb₀
FinSet Perm

Advanced export

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

CSV options: 

CREATE TABLE "cores" (
	"groupoid"	TEXT NOT NULL,
	"category"	TEXT NOT NULL UNIQUE,
	PRIMARY KEY("category"),
	FOREIGN KEY("category") REFERENCES "categories"("name") on update cascade on delete restrict,
	FOREIGN KEY("groupoid") REFERENCES "categories"("name") on update cascade on delete restrict
);