• Corpus ID: 247922497

Cocartesian fibrations and straightening internal to an $\infty$-topos

  title={Cocartesian fibrations and straightening internal to an \$\infty\$-topos},
  author={Louis Martini},
. We define and study cartesian and cocartesian fibrations between categories internal to an ∞ -topos and prove a straightening equivalence in this context. 


Segal objects and the Grothendieck construction
We discuss right fibrations in the $\infty$-categorical context of Segal objects in a category V and prove some basic results about these.
Synthetic fibered (∞, 1)-category theory
This work develops a Yoneda Lemma for cocartesian fibrations in the setting of the synthetic (∞, 1)-category theory developed in simplicial type theory introduced by Riehl and Shulman.
On straightening for Segal spaces
We study cocartesian fibrations between (∞, d)-categories in terms of higher Segal spaces and prove a version of straightening for them. This follows from a repeated application of an explicit
A short proof of the straightening theorem
We provide a short and reasonably self-contained proof of Lurie’s straightening equivalence, relating cartesian fibrations over a given ∞-category S with contravariant functors from S to the
Yoneda's lemma for internal higher categories
. We develop some basic concepts in the theory of higher categories internal to an arbitrary ∞ topos. We define internal left and right fibrations and prove a version of the Grothendieck construction
Limits and colimits in internal higher category theory
We develop a number of basic concepts in the theory of categories internal to an $\infty$-topos. We discuss adjunctions, limits and colimits as well as Kan extensions for internal categories, and we
Higher Topos Theory
This purpose of this book is twofold: to provide a general introduction to higher category theory (using the formalism of "quasicategories" or "weak Kan complexes"), and to apply this theory to the
Parametrized higher category theory
We develop foundations for the category theory of oc-categories parametrized by a base occategory. Our main contribution is a theory of parametrized homotopy limits and colimits, which recovers and
A spectrum-level Hodge filtration on topological Hochschild homology
We define a functorial spectrum-level filtration on the topological Hochschild homology of any commutative ring spectrum R, and more generally the factorization homology $$R \otimes X$$R⊗X for any
Higher Algebra
AbstractTHIS new “Higher Algebra” will be examined with great interest by all teachers and serious students of mathematics. A book of this type is certainly needed at the present time, and the one