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") );