High-level methods for homotopy construction in associative n-categories

DOI10.5555/3470152.3470214MaRDI QIDQ6654527zbMATH OpenFDO

Authors David Reutter, Jamie Vicary

Publication date 19 December 2024

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

Mathematics Subject Classification ID

String diagrams and graphical calculi (18M30) Tricategories, weak (n)-categories, coherence, semi-strictification (18N20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Zigzag normalisation for associative n-categories
• \textsf{Globular}: an online proof assistant for higher-dimensional rewriting
• Data structures for quasistrict higher categories
• Globular: an online proof assistant for higher-dimensional rewriting
• Homomorphisms of higher categories

Cited in

(7)

• Zigzag normalisation for associative n-categories
• Homotopy.io: a proof assistant for finitely-presented globular n-categories
• Posetal diagrams for logically-structured semistrict higher categories
• Operads for complex system design specification, analysis and synthesis
• Partial orders are the free conservative cocompletion of total orders
• Automating boundary filling in cubical type theories
• Rewriting modulo in diagrammatic algebras and application to categorification

This page was built for publication: High-level methods for homotopy construction in associative \(n\)-categories

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