categorical_structure
4 rows where category = "FinGrp"
This data as json, CSV (advanced)
| Link | category | construction |
|---|---|---|
| FinGrp,equalizer | FinGrp | equalizer |
| FinGrp,initial object | FinGrp | initial object |
| FinGrp,pullback | FinGrp | pullback |
| FinGrp,terminal object | FinGrp | terminal object |
Advanced export
JSON shape: default, array, newline-delimited, object
CREATE TABLE "categorical_structure" (
"category" TEXT NOT NULL,
"construction" TEXT NOT NULL,
FOREIGN KEY("construction") REFERENCES "universal_objects"("construction") on update cascade on delete restrict,
FOREIGN KEY("category") REFERENCES "categories"("name") on update cascade on delete restrict,
PRIMARY KEY("category","construction")
);