logical_completeness
3 rows sorted by example_categeory
This data as json, CSV (advanced)
complete_2category | example_categeory ▼ |
---|---|
DagCompCat | FinHilb |
TracedSymmMonCat | FinVect_k |
CompCat | FinVect_k |
Advanced export
JSON shape: default, array, newline-delimited, object
CREATE TABLE "logical_completeness" ( "example_categeory" TEXT NOT NULL, "complete_2category" TEXT NOT NULL, FOREIGN KEY("complete_2category") REFERENCES "categories"("name") on update cascade on delete restrict, FOREIGN KEY("example_categeory") REFERENCES "categories"("name") on update cascade on delete restrict, PRIMARY KEY("complete_2category") );