A formal verification of the theory of parity complexes

DOI10.6092/issn.1972-5787/5010zbMath1451.68336arXiv1504.02297OpenAlexW1568306369MaRDI QIDQ5195261

Mitchell Buckley

Publication date: 18 September 2019

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

zbMATH Keywords

omega-categoryparity complexpasting diagramexcision of extremals

Mathematics Subject Classification ID

Graphs, diagram schemes, precategories (18A10) Combinatorial aspects of simplicial complexes (05E45) Formalization of mathematics in connection with theorem provers (68V20) 2-categories, bicategories, double categories (18N10) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Unifying notions of pasting diagrams

Uses Software

• Coq

Cites Work

• Unnamed Item
• Unnamed Item
• The combinatorics of n-categorical pasting
• The algebra of oriented simplexes
• The algebra of directed complexes
• Higher categories, strings, cubes and simplex equations
• Omega-categories and chain complexes
• Nerves of Multiple Categories
• Complicial sets characterising the simplicial nerves of strict 𝜔-categories

This page was built for publication: A formal verification of the theory of parity complexes