Describing free -categories

DOI10.5555/3470152.3470183MaRDI QIDQ6654497FDO

Authors Simon Forest, Samuel Mimram

Publication date 19 December 2024

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Strict omega-categories, computads, polygraphs (18N30)

Recommendations

• Unifying notions of pasting diagrams
• scientific article; zbMATH DE number 40564
• scientific article; zbMATH DE number 1080534
• Acyclicity conditions on pasting diagrams
• scientific article; zbMATH DE number 1129145

Cited in

(1)

• Acyclicity conditions on pasting diagrams

This page was built for publication: Describing free \(\omega \)-categories

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