Strict ω-categories are monadic over polygraphs

2016/06/01 by François Métayer, Métayer, François
Mathematics · Medicine · #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Geometric and Algebraic Topology #Homotopy and Cohomology in Algebraic Topology #Intracranial Aneurysms: Treatment and Complications

paper · pdf · doi:10.48550/arxiv.1606.00139

openalex publication_date 2016/06/01 · openalex created_date 2019/07/30 · openalex updated_date 2026/07/28

Abstract

We give a direct proof that the category of strict ω-categories is monadic over the category of polygraphs.

Related

• Homology of strict ω-categories
• Strictification of categories weakly enriched in symmetric monoidal categories
• Free precategories as presheaf categories
• Multiple categories: the equivalence of a globular and a cubical approach
• Non-unital polygraphs form a presheaf category