Generalized multicategories via the formal theory of monads

Dimitri Chikhladze
Tuesday, July 23, 2013 - from 17:00 to 17:25
There have been proposed numerous definitions of generalized multicategories which as examples include mathematical structures as diverse as multicategories, metric spaces, topological spaces, globular operads and Lawvere theories. In this talk we propose to work with certain types of lax monads in the tricategory of what we call two-sided indexed categories. This allows us to use a lax version of the formal theory of monads in a tricategory to work with the generalized multicategories.