Synthetic fibered $(\infty,1)$-category theory

Ulrik Buchholtz; Jonathan Weinberger

Synthetic fibered $(\infty,1)$-category theory

Category Theory 2022-08-15 v6 Logic in Computer Science Algebraic Topology Logic

Authors: Ulrik Buchholtz , Jonathan Weinberger

Abstract

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.

Keywords

synthetic infinity-category theory simplicial type theory cocartesian fibrations yoneda lemma infinity-category theory

Cite

@article{arxiv.2105.01724,
  title  = {Synthetic fibered $(\infty,1)$-category theory},
  author = {Ulrik Buchholtz and Jonathan Weinberger},
  journal= {arXiv preprint arXiv:2105.01724},
  year   = {2022}
}

Comments

92 pages, comments welcome; v6: final version

Synthetic fibered $(\infty,1)$-category theory

Abstract

Keywords

Cite

Comments

Related papers