categorical_structure
2 rows where category = "FinHilb"
This data as json, CSV (advanced)
Link | category | construction |
---|---|---|
FinHilb,initial object | FinHilb | initial object |
FinHilb,terminal object | FinHilb | 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") );