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)
Abstract: Structures where we have both a contravariant (pullback) and a covariant (pushforward) functoriality that satisfy base change can be encoded by functors out of ($infty$-)categories of spans (or correspondences). In this paper we study the more complicated setup where we have two pushforwards (an "additive" and a "multiplicative" one), satisfying a distributivity relation. Such structures can be described in terms of bispans (or polynomial diagrams). We show that there exist $(infty,2)$-categories of bispans, characterized by a universal property: they corepresent functors out of $infty$-categories of spans where the pullbacks have left adjoints and certain canonical 2-morphisms (encoding base change and distributivity) are invertible. This gives a universal way to obtain functors from bispans, which amounts to upgrading "monoid-like" structures to "ring-like" ones. For example, symmetric monoidal $infty$-categories can be described as product-preserving functors from spans of finite sets, and if the tensor product is compatible with finite coproducts our universal property gives the canonical semiring structure using the coproduct and tensor product. More interestingly, we encode the additive and multiplicative transfers on equivariant spectra as a functor from bispans in finite $G$-sets, extend the norms for finite 'etale maps in motivic spectra to a functor from certain bispans in schemes, and make $mathrm{Perf}(X)$ for $X$ a spectral Deligne--Mumford stack a functor of bispans using a multiplicative pushforward for finite 'etale maps in addition to the usual pullback and pushforward maps. Combining this with the polynomial functoriality of $K$-theory constructed by Barwick, Glasman, Mathew, and Nikolaus, we obtain norms on algebraic $K$-theory spectra.
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)
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
Related Items (3)
A homotopy coherent nerve for \((\infty, n)\)-categories ⋮ Two-variable fibrations, factorisation systems and -categories of spans ⋮ A pasting theorem for iterated Segal spaces
This page was built for publication: On distributivity in higher algebra I: the universal property of bispans
