logical_completeness
3 rows sorted by complete_2category descending
This data as json, CSV (advanced)
complete_2category ▲ | example_categeory |
---|---|
TracedSymmMonCat | FinVect_k |
DagCompCat | FinHilb |
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") );