Strict $\omega$-categories are monadic over polygraphs
Fran\c{c}ois M\'etayer (IRIF)
TL;DR
This paper proves that the category of strict omega-categories can be constructed from polygraphs using a monadic approach, providing a direct and formal connection between these structures.
Contribution
It offers a direct proof that strict omega-categories are monadic over polygraphs, clarifying their categorical relationship.
Findings
Established monadicity of strict omega-categories over polygraphs
Provided a direct proof method for the monadic relationship
Enhanced understanding of the structure of omega-categories
Abstract
We give a direct proof that the category of strict -categories is monadic over the category of polygraphs.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsHomotopy and Cohomology in Algebraic Topology · Algebraic structures and combinatorial models · Intracranial Aneurysms: Treatment and Complications