3 citations · 7 across the 12 of their papers we have counts for
1 paper · 2 filters
Thibaut Benjamin
Finster and Mimram have defined a dependent type theory called CaTT, which describes the structure of omega-categories. Types in homotopy type theory with their higher identity typ…