Two-sided cartesian fibrations of synthetic (\infty,1)-categories

arXiv2204.00938MaRDI QIDQ6505684FDOQ6505684

Authors: Jonathan Maximilian Lajos Weinberger 

Abstract: Within the framework of Riehl-Shulman's synthetic $(infty,1)$-category theory, we present a theory of two-sided cartesian fibrations. Central results are several characterizations of the two-sidedness condition `{a} la Chevalley, Gray, Street, and Riehl-Verity, a two-sided Yoneda Lemma, as well as the proof of several closure properties. Along the way, we also define and investigate a notion of fibered or sliced fibration which is used later to develop the two-sided case in a modular fashion. We also briefly discuss discrete two-sided cartesian fibrations in this setting, corresponding to $(infty,1)$-distributors. The systematics of our definitions and results closely follows Riehl-Verity's $infty$-cosmos theory, but formulated internally to Riehl-Shulman's simplicial extension of homotopy type theory. All the constructions and proofs in this framework are by design invariant under homotopy equivalence. Semantically, the synthetic $(infty,1)$-categories correspond to internal $(infty,1)$-categories implemented as Rezk objects in an arbitrary given $(infty,1)$-topos.

Mathematics Subject Classification ID

Simplicial sets, simplicial objects (18N50) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Fibered categories (18D30) Type theory (03B38) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)

This page was built for publication: Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6505684)