2-categories
0 rows where name = "RT(K₁)"
This data as json
0 records
CREATE TABLE "2-categories" ( "name" TEXT NOT NULL UNIQUE, "is_strict" INTEGER NOT NULL, "transformations_hr" TEXT NOT NULL, FOREIGN KEY("name") REFERENCES "categories"("name") on delete restrict on update cascade, PRIMARY KEY("name") );