Emergent Mind

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

(2105.01724)

Published May 4, 2021 in math.CT , cs.LO , math.AT , and math.LO

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.

We're not able to analyze this paper right now due to high demand.

Please check back later (sorry!).

Generate a summary of this paper on our Pro plan:

We ran into a problem analyzing this paper.