Eric Finster: The Baez-Dolan +-Construction for Generalized Algebraic Theories
Time: Wed 2023-05-17 10.00 - 12.00
Location: Albano house 1, floor 3, Room U (Kovalevsky)
Participating: Eric Finster, University of Birmingham
Abstract
The Baez-Dolan +-construction is an operation on symmetric operads which produces, from a given operad O, a new operad O+ whose algebras are operads equipped with a map to O. Iteratively applying this construction to the identity operad, whose algebras are just sets, generates a family of polytopes (the "opetopes") which play a central role in Baez and Dolan's approach to higher algebra.
In this talk, I will discuss the application of Baez-Dolan construction to arbitrary generalized algebraic theories and outline some possible applications.