Online seminar, U. Haifa Topology & Geometry seminar on May 2, 2021
A recording of the talk is available here.
Topology & Geometry Seminar
Speaker: Rune Haugseng, NTNU
Topic: Homotopy-coherent distributivity and the universal property of bispans
Place: This is an online seminar. Please email David Blanc “blanc at math dot haifa dot ac dot il” for the Zoom ID and password.
Date: Sunday, May 2, 2021
Structures where we have both a contravariant (pullback) and a covariant (pushforward) functoriality that satisfy base change can be encoded by functors out of (∞-)categories of spans (or correspondences). In some cases 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). For example, commutative semirings can be described in terms of bispans of finite sets, while bispans in finite G-sets can be used to encode Tambara functors, which are the structure on pi_0 of G-equivariant commutative ring spectra. Motivated by applications of the ∞-categorical upgrade of such descriptions to motivic and equivariant ring spectra, I will discuss the universal property of (∞, 2)-categories of bispans. This gives a universal way to obtain functors from bispans, which amounts to upgrading “monoid-like” structures to “ring-like” ones. In the talk I will focus on the simplest case of bispans in finite sets, where this gives a new construction of the semiring structure on a symmetric monoidal ∞-category whose tensor product commutes with coproducts. This is joint work with Elden Elmanto.