Operadic categories and décalage

Richard Garner*, Joachim Kock, Mark Weber

*Corresponding author for this work

    Research output: Contribution to journalArticlepeer-review

    Abstract

    Batanin and Markl's operadic categories are categories in which each map is endowed with a finite collection of “abstract fibres”—also objects of the same category—subject to suitable axioms. We give a reconstruction of the data and axioms of operadic categories in terms of the décalage comonad D on small categories. A simple case involves unary operadic categories—ones wherein each map has exactly one abstract fibre—which are exhibited as categories which are, first of all, coalgebras for the comonad D, and, furthermore, algebras for the monad D˜ induced on CatD by the forgetful–cofree adjunction. A similar description is found for general operadic categories arising out of a corresponding analysis that starts from a “modified décalage” comonad Dm on the arrow category Cat2.

    Original languageEnglish
    Article number107440
    Pages (from-to)1-23
    Number of pages23
    JournalAdvances in Mathematics
    Volume377
    Early online date24 Nov 2020
    DOIs
    Publication statusPublished - 22 Jan 2021

    Keywords

    • Operadic categories
    • 2-Segal spaces
    • Décalage

    Fingerprint

    Dive into the research topics of 'Operadic categories and décalage'. Together they form a unique fingerprint.

    Cite this