Polynomial functors and opetopes

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

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

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, Unnamed Item, Syntactic approaches to opetopes, Opetopic algebras I: Algebraic structures on opetopic sets, The formal theory of monoidal monads, Cacti and filtered distributive laws, Categorification of Hopf algebras of rooted trees., The incidence comodule bialgebra of the Baez-Dolan construction, Polynomial monads and delooping of mapping spaces, A combinatorial-topological shape category for polygraphs, Combinatorial structure of type dependency, The web monoid and opetopic sets, Groupoids and Faà di Bruno formulae for Green functions in bialgebras of trees., Polynomial functors and combinatorial Dyson–Schwinger equations, Homotopy theory for algebras over polynomial monads, Data Types with Symmetries and Polynomial Functors over Groupoids

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