Strict stability of extension types

Jonathan Weinberger

The theory of $(\infty ,1)$-categories can be developed synthetically in an augmentation of homotopy type theory introduced by Riehl--Shulman. Central to their development is an add…