A sequent calculus for opetopes

DOI10.5555/3470152.3470165MaRDI QIDQ6654478zbMATH OpenFDO

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

Publication date 19 December 2024

Full work available at URL https://doi.org/10.5555/3470152.3470165

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Categorical logic, topoi (03G30) Operads (general) (18M60) Strict omega-categories, computads, polygraphs (18N30)

Recommendations

• Syntactic approaches to opetopes
• Polynomial functors and opetopes
• Opetopes and chain complexes
• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• Opetopic algebras I: Algebraic structures on opetopic sets

Cited in

(3)

• A first-order theory of diagram chasing
• Automating boundary filling in cubical Agda
• Automating boundary filling in cubical type theories

This page was built for publication: A sequent calculus for opetopes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6654478)