reflective_subcategories
1 row where supercategory = "SSet"
This data as json, CSV (advanced)
Link | subcategory | supercategory | reflector_hr | reflection_hr |
---|---|---|---|---|
Cat,SSet | Cat | SSet | homotopy category | nerve |
Advanced export
JSON shape: default, array, newline-delimited, object
CREATE TABLE "reflective_subcategories" ( "subcategory" TEXT NOT NULL, "supercategory" TEXT NOT NULL, "reflector_hr" text, "reflection_hr" text, FOREIGN KEY("subcategory") REFERENCES "categories"("name") on update cascade on delete restrict, FOREIGN KEY("supercategory") REFERENCES "categories"("name") on update cascade on delete restrict, PRIMARY KEY("subcategory","supercategory") );