Polynomial functors and opetopes

DOI10.1016/j.aim.2010.02.012zbMath1221.18001arXiv0706.1033MaRDI QIDQ984889

Joachim Kock, André Joyal, Michael A. Batanin, Jean-François Mascari

Publication date: 20 July 2010

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0706.1033

zbMATH Keywords

tree; polynomial functor; monad; higher category; opetope

Mathematics Subject Classification ID

18-04: Software, source code, etc. for problems pertaining to category theory

Related Items

Polynomial functors and polynomial monads, The formal theory of monoidal monads, Cacti and filtered distributive laws, Categorification of Hopf algebras of rooted trees., Combinatorial structure of type dependency, The web monoid and opetopic sets, Groupoids and Faà di Bruno formulae for Green functions in bialgebras of trees.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The combinatorics of n-categorical pasting
• A 2-categorical pasting theorem
• Limits indexed by category-valued 2-functors
• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• Weak \(n\)-categories: Opetopic and multitopic foundations.
• Weak \(n\)-categories: Comparing opetopic foundations.
• On weak higher dimensional categories. I: Part 1
• Polynomial Functors and Trees
• Polynomial functors and polynomial monads
• A relationship between trees and Kelly–Mac Lane graphs
• Types for Proofs and Programs