HIGHER OPERADS WEEK
Barcelona 14-19 of April 2008

Speaker: Joachim Kock

Title: Combinatorics of opetopes

Abstract: 

  (This is joint work with Andrˇ Joyal, Michael Batanin, and Jean-Fran¨ois
  Mascari.)  Opetopes parametrise higher-dimensional many-in/one-out
  shapes.  More precisely they are defined as operations for a certain
  sequence of higher operads (which are not globular).  I will present an
  elementary, intuitive, and purely combinatorial definition of opetopes,
  and show how this description can be extracted from the classical
  definitions (due to Baez-Dolan and Leinster) using the theory of
  polynomial functors.  Ingredients: trees.  (May contain traces of nuts.)

Reference: J. Kock, A. Joyal, M. Batanin, J.-F. Mascari, 
  "Polynomial functors and opetopes", ArXiv:0706.1033.