Synthetic fibered $(\infty ,1)$-category theory

Ulrik Buchholtz, Jonathan Weinberger

We study cocartesian fibrations in the setting of the synthetic $(\infty ,1)$-category theory developed in the simplicial type theory introduced by Riehl and Shulman. Our developmen…