karoubi_envelopes
0 rows where category = "Hilb₀"
This data as json
0 records
CREATE TABLE "karoubi_envelopes" ( "category" TEXT NOT NULL UNIQUE, "completion" TEXT NOT NULL, FOREIGN KEY("category") REFERENCES "categories"("name"), FOREIGN KEY("completion") REFERENCES "categories"("name"), PRIMARY KEY("category") );