Synthetic fibered (∞,1)-category theory

05/04/2021
by   Ulrik Buchholtz, et al.
1

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

Please sign up or login with your details

Forgot password? Click here to reset