2-categories
26 rows sorted by name descending
This data as json, CSV (advanced)
transformations_hr ✖
name ▲ | is_strict | transformations_hr |
---|---|---|
TracedSymmMonCat | 0 | natural transformations |
TopCat | 0 | natural transformations |
SymmMonCat | 0 | natural transformations |
SymCat | 0 | natural transformations |
Span(Grpd) | 0 | pullbacks of spans |
SimpCat | 0 | natural transformations |
Rex | 0 | natural transformations |
Rel | 0 | subrelation inclusions |
RCat | 0 | natural transformations |
Prof | 0 | natural transformations |
PrCat | 0 | natural transformations |
PermCat | 0 | natural transformations |
MonCat | 0 | natural transformations |
Lex | 0 | natural transformations |
Ho(Cat) | 0 | natural transformations |
Grpd | 0 | natural isomorphisms |
DblCat | 0 | natural transformations |
DagCompCat | 0 | natural transformations |
DagCat | 0 | natural transformations |
CompCat | 0 | natural transformations |
Cat | 1 | natural transformations |
BrMonCat | 0 | natural transformations |
Bimod(Ab) | 0 | intertwiners |
BiCat | 0 | natural transformations |
AbCat | 0 | natural transformations |
2Cat | 0 | natural transformations |
Advanced export
JSON shape: default, array, newline-delimited, object
CREATE TABLE "2-categories" ( "name" TEXT NOT NULL UNIQUE, "is_strict" INTEGER NOT NULL, "transformations_hr" TEXT NOT NULL, FOREIGN KEY("name") REFERENCES "categories"("name") on delete restrict on update cascade, PRIMARY KEY("name") );