Skip to main content
To KTH's start page

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

Export to calendar

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.