Two-variable fibrations, factorisation systems and -categories of spans
From MaRDI portal
(Redirected from Publication:6182799)
Abstract: We prove a universal property for -categories of spans in the generality of Barwick's adequate triples, explicitly describe the cocartesian fibration corresponding to the span functor, and show that the latter restricts to a self-equivalence on the class of orthogonal adequate triples, which we introduce for this purpose. As applications of the machinery we develop we give a quick proof of Barwick's unfurling theorem, show that an orthogonal factorisation system arises from a cartesian fibration if and only if it forms an adequate triple (generalising work of Lanari), extend the description of dual (co)cartesian fibrations by Barwick, Glasman and Nardin to two-variable fibrations, explicitly describe parametrised adjoints (extending work of Torii), identify the orthofibration classifying the mapping category functor of an -category (building on work of Abell'an Garcia and Stern), formally identify the unstraightenings of the identity functor on the -category of -categories with the (op)lax under-categories of a point, and deduce a certain naturality property of the Yoneda embedding (answering a question of Clausen).
Recommendations
- Cartesian factorization systems and pointed Cartesian fibrations of \(\infty\)-categories
- Lax monoidal adjunctions, two‐variable fibrations and the calculus of mates
- Cartesian fibrations of \(( \infty,2)\)-categories
- Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
- Locally (co)Cartesian fibrations as realisation fibrations and the classifying space of cospans
Cites work
- A Cartesian presentation of weak \(n\)-categories
- A cobordism model for Waldhausen K-theory
- A model for the homotopy theory of homotopy theory
- A universal characterization of higher algebraic K-theory
- Ambidexterity and the universality of finite spans
- An additivity theorem for cobordism categories
- An elementary proof of the naturality of the Yoneda embedding
- Cartesian factorization systems and pointed Cartesian fibrations of \(\infty\)-categories
- Chiral principal series categories. I: Finite dimensional calculations
- Dualizing cartesian and cocartesian fibrations
- Elements of -category theory
- Fibrations of -categories
- Gray tensor products and lax functors of \((\infty, 2)\)-categories
- Hermitian K-theory of exact categories
- Hermitian K-theory for stable \(\infty\)-categories. I: Foundations
- Higher algebraic K-theory: I
- Higher Topos Theory (AM-170)
- scientific article; zbMATH DE number 5219541 (Why is no real title available?)
- scientific article; zbMATH DE number 3380869 (Why is no real title available?)
- scientific article; zbMATH DE number 7692250 (Why is no real title available?)
- Iterated spans and classical topological field theories
- Lax colimits and free fibrations in -categories
- Locally (co)Cartesian fibrations as realisation fibrations and the classifying space of cospans
- Norms in motivic homotopy theory
- On distributivity in higher algebra I: the universal property of bispans
- On lax transformations, adjunctions, and monads in (,2)-categories
- On quasi-categories of comodules and Landweber exactness
- On the unicity of the theory of higher categories
- Quillen cohomology of (, 2)-categories
- Shifted coisotropic correspondences
- Spectral Mackey functors and equivariant algebraic \(K\)-theory. I.
- The universality of the Rezk nerve
- Towards an axiomatization of the theory of higher categories
- Yoneda lemma for enriched \(\infty\)-categories
Cited in
(24)- Factor rattans, category \(\text{FR}(Y)\), and factor space
- Locally (co)Cartesian fibrations as realisation fibrations and the classifying space of cospans
- -operads as symmetric monoidal -categories
- Hecke operators on topological modular forms
- Two-sided Cartesian fibrations of synthetic \((\infty, 1)\)-categories
- Categorical ambidexterity
- Uniqueness and (, 2)-naturality of Yoneda
- The equifibered approach to -properads
- Hinich's model for Day convolution revisited
- Envelopes for algebraic patterns
- A monoidal Grothendieck construction for -categories
- Parametrized stability and the universal property of global spectra
- Controlled objects in left-exact -categories and the Novikov conjecture
- Universality of Barwick's unfurling construction
- Partial parametrized presentability and the universal property of equivariant spectra
- On duoidal -categories
- Norms in equivariant homotopy theory
- A short proof of the universality of the relative Rezk nerve
- Revisiting (,2)-naturality of the Yoneda embedding
- Rigid algebras and cospans
- Stable moduli spaces of Hermitian forms (with an appendix by Yonatan Harpaz)
- On orthogonal factorization systems and double categories
- Global 2-rings and genuine refinements
- From analytic monads to -operads through Lawvere theories
This page was built for publication: Two-variable fibrations, factorisation systems and -categories of spans
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6182799)
