On distributivity in higher algebra I: the universal property of bispans
From MaRDI portal
Publication:6056494
DOI10.1112/S0010437X23007388arXiv2010.15722OpenAlexW3097700522MaRDI QIDQ6056494
Publication date: 2 October 2023
Published in: Compositio Mathematica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2010.15722
Algebraic (K)-theory and (L)-theory (category-theoretic aspects) (18F25) (K)-theory of schemes (19E08) Motivic cohomology; motivic homotopy theory (14F42) Higher algebraic (K)-theory (19D99) ((infty, n))-categories and ((infty,infty))-categories (18N65) (infty)-operads and higher algebra (18N70)
Related Items (2)
A homotopy coherent nerve for \((\infty, n)\)-categories ⋮ Two-variable fibrations, factorisation systems and -categories of spans
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Equivariant \(\Gamma\)-spaces
- Rigidity in equivariant stable homotopy theory
- Spectral Mackey functors and equivariant algebraic \(K\)-theory. I.
- The six operations in equivariant motivic homotopy theory
- Rectification of enriched \(\infty\)-categories
- Operadic multiplications in equivariant spectra, norms, and transfers
- Homotopy coherent adjunctions and the formal theory of monads
- Universality of multiplicative infinite loop space machines
- A Cartesian presentation of weak \(n\)-categories
- Equivariant stable homotopy theory. With contributions by J. E. McClure
- Characteristic classes of direct image bundles for covering maps
- Infinite loop G-spaces associated to monoidal G-graded categories
- Calculus. II: Analytic functors
- Localization and completion theorems for \(MU\)-module spectra
- Representable multicategories
- \(K\)-theory of the Weil transfer functor
- Iterated spans and classical topological field theories
- Lax colimits and free fibrations in \(\infty\)-categories
- A symmetric monoidal and equivariant Segal infinite loop space machine
- Incomplete Tambara functors
- A universal characterization of higher algebraic \(K\)-theory
- Spectral Mackey functors and equivariant algebraic \(K\)-theory. II.
- Scheiderer motives and equivariant higher topos theory
- A bivariant Yoneda lemma and \((\infty, 2)\)-categories of correspondences
- Yoneda lemma for enriched \(\infty\)-categories
- The operad that co-represents enrichment
- Motivic infinite loop spaces
- The Morel-Voevodsky localization theorem in spectral algebraic geometry
- Enriched \(\infty\)-categories via non-symmetric \(\infty\)-operads
- Universal properties of bicategories of polynomials
- Algebraic spaces
- Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
- On the nonexistence of elements of Kervaire invariant one
- On the groups \(H(\Pi,n)\). II
- Motivic Tambara functors
- Multiplicative equivariant \(K\)-theory and the Barratt-Priddy-Quillen theorem
- An equivalence between enriched \(\infty \)-categories and \(\infty \)-categories with weak action
- The universal six-functor formalism
- On the algebraicK-theory of higher categories
- Representability of Hilbert Schemes and Hilbert Stacks of Points
- Norms in motivic homotopy theory
- Witt vectors and equivariant ring spectra applied to cobordism
- Systems of Fixed Point Sets
- Néron Models
- On multiplicative transfer
- Polynomial functors and polynomial monads
- Triangulated Categories of Mixed Motives
- On lax transformations, adjunctions, and monads in $(\infty,2)$-categories
- ∞-Operads as Analytic Monads
- SYMMETRIC MONOIDALG-CATEGORIES AND THEIR STRICTIFICATION
- Polynomials as spans
- Ambidexterity and the universality of finite spans
- On the unicity of the theory of higher categories
- Quillen cohomology of $(\infty,2)$-categories
- A comparison of norm maps
- Higher Topos Theory (AM-170)
- THE TOM DIECK SPLITTING THEOREM IN EQUIVARIANT MOTIVIC HOMOTOPY THEORY
- \(\mathbb{A}^1\)-homotopy theory of schemes
- Parametrized higher category theory
- On the equivalence of all models for (∞,2)$(\infty,2)$‐categories
This page was built for publication: On distributivity in higher algebra I: the universal property of bispans
