A type-theoretic approach to semistrict higher categories

Alex Rice

Weak $\infty$-categories are known to be more expressive than their strict counterparts, but are more difficult to work with, as constructions in such a category involve the manipu…