Synthetic fibered (∞,1)-category theory
We study cocartesian fibrations in the setting of the synthetic (∞,1)-category theory developed in the simplicial type theory introduced by Riehl and Shulman. Our development culminates in a Yoneda Lemma for cocartesian fibrations.
READ FULL TEXT