Synthetic fibered (∞,1)-category theory

05/04/2021 ∙ by Ulrik Buchholtz, et al. ∙ 0

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
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.