Syntactic approaches to opetopes

zbMath1494.18017arXiv1903.05848MaRDI QIDQ5094693

Cédric Ho Thanh, Pierre-Louis Curien, Samuel Mimram

Publication date: 4 August 2022

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

zbMATH Keywords

polynomial functortype theoryopetopeopetopic set

Mathematics Subject Classification ID

Operads (general) (18M60) Type theory (03B38) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)

Related Items (2)

Actads ⋮ A combinatorial-topological shape category for polygraphs

Uses Software

• Globular
• GitHub
• opetopy

Cites Work

• Polynomial functors and opetopes
• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• On weak higher dimensional categories. I: Part 1
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Polynomial Functors and Trees
• Gabriel–Ulmer duality and Lawvere theories enriched over a general base
• Polynomial functors and polynomial monads
• A Type-Theoretical Definition of Weak {\omega}-Categories
• Algebraic Operads
• On weak higher-dimensional categories. I: Part 3
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Syntactic approaches to opetopes