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

@inproceedings{Martini2022CocartesianFA, title={Cocartesian fibrations and straightening internal to an \$\infty\$-topos}, author={Louis Martini}, year={2022} }

. We deﬁne and study cartesian and cocartesian ﬁbrations between categories internal to an ∞ -topos and prove a straightening equivalence in this context.

## References

SHOWING 1-10 OF 27 REFERENCES

Segal objects and the Grothendieck construction

- Mathematics
- 2016

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

- MathematicsArXiv
- 2021

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

- Mathematics
- 2021

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

- Mathematics
- 2021

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

- Mathematics
- 2021

. We develop some basic concepts in the theory of higher categories internal to an arbitrary ∞ topos. We deﬁne internal left and right ﬁbrations and prove a version of the Grothendieck construction…

Limits and colimits in internal higher category theory

- Mathematics, Philosophy
- 2021

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

- Philosophy, Mathematics
- 2009

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

- Mathematics
- 2017

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

- Mathematics
- 2014

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

- EducationNature
- 1937

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…