catabase
This data as json, CSV
| 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 |