Polynomial functors and opetopes
From MaRDI portal
Publication:984889
DOI10.1016/J.AIM.2010.02.012zbMath1221.18001arXiv0706.1033OpenAlexW2022608773MaRDI 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
Related Items (18)
The web monoid and opetopic sets ⋮ Data Types with Symmetries and Polynomial Functors over Groupoids ⋮ Actads ⋮ Polynomial monads and delooping of mapping spaces ⋮ A combinatorial-topological shape category for polygraphs ⋮ Categorification of Hopf algebras of rooted trees. ⋮ Polynomial functors and combinatorial Dyson–Schwinger equations ⋮ The formal theory of monoidal monads ⋮ Groupoids and Faà di Bruno formulae for Green functions in bialgebras of trees. ⋮ Cacti and filtered distributive laws ⋮ Polynomial functors and polynomial monads ⋮ Combinatorial structure of type dependency ⋮ Syntactic approaches to opetopes ⋮ Opetopic algebras I: Algebraic structures on opetopic sets ⋮ The incidence comodule bialgebra of the Baez-Dolan construction ⋮ A Cartesian bicategory of polynomial functors in homotopy type theory ⋮ List Objects with Algebraic Structure ⋮ Homotopy theory for algebras over polynomial monads
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
This page was built for publication: Polynomial functors and opetopes
