Speaker: |
Rune Haugseng (IBS, Korea) |
Title: |
The Universal Property of Bispans |
Date (JST): |
Thu, Jun 20, 2019, 13:30 - 15:00 |
Place: |
Seminar Room B |
Abstract: |
Many structures in mathematics have both covariant and contravariant operations, which can often be described using categories of spans. In some cases there are both "additive" and "multiplicative" covariant operations, satisfying a distributive law. I will explain how such operations can be encoded using higher categories of "bispans", constructed through a universal property, and discuss how these can be used to describe homotopy-coherent algebraic structures such as operads and the elaborate versions of commutative rings that occur in motivic and equivariant homotopy theory. This is joint work with Elden Elmanto. |
Remarks: |
Blackboard talk |