A proof of the existence of Batanin's initial operad
From MaRDI portal
Publication:2411670
DOI10.1016/j.jpaa.2017.05.003zbMath1388.18011OpenAlexW2615093752MaRDI QIDQ2411670
Publication date: 24 October 2017
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jpaa.2017.05.003
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Cites Work
- Comparing operadic theories of \(n\)-category
- A cellular nerve for higher categories
- Monad interleaving: a construction of the operad for Leinster's weak \(\omega \)-categories
- Homomorphisms of higher categories
- Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
- On the Penon method of weakening algebraic structures
- Types are weak ω -groupoids
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A proof of the existence of Batanin's initial operad