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 development culminates in a Yoneda Lemma for cocartesian fibrations.

中文翻译：

---

合成纤维的$（\ infty，1）$分类理论

我们在由Riehl和Shulman引入的简单类型理论中发展的合成$（\ infty，1）$类理论的背景下研究笛卡尔纤维化。我们的发展最终达到了用于笛卡尔纤维化的Yoneda Lemma。