Synthetic fibered -category theory
U Buchholtz, J Weinberger - arXiv preprint arXiv:2105.01724, 2021 - arxiv.org
arXiv preprint arXiv:2105.01724, 2021•arxiv.org
… We study cocartesian fibrations in the setting of the synthetic (∞,1)-category theory
developed in simplicial type theory introduced by Riehl and Shulman. Our development
culminates in a Yoneda Lemma for cocartesian fibrations. … Synthetic fibered higher
category theory In this paper, we complement Riehl–Shulman’s work on covariant families,
ie, functorial type families with groupoidal fibers, by a development of a synthetic notion of
cocartesian family, ie, functorial type families with categorical fibers. That is, cocartesian …
developed in simplicial type theory introduced by Riehl and Shulman. Our development
culminates in a Yoneda Lemma for cocartesian fibrations. … Synthetic fibered higher
category theory In this paper, we complement Riehl–Shulman’s work on covariant families,
ie, functorial type families with groupoidal fibers, by a development of a synthetic notion of
cocartesian family, ie, functorial type families with categorical fibers. That is, cocartesian …
We study cocartesian fibrations in the setting of the synthetic -category theory developed in the simplicial type theory introduced by Riehl and Shulman. Our development culminates in a Yoneda Lemma for cocartesian fibrations.
arxiv.org
以上显示的是最相近的搜索结果。 查看全部搜索结果