Monads with arities and their associated theories

Clemens Berger, Paul-André Melliès, Mark Weber

    Research output: Contribution to journalArticlepeer-review

    31 Citations (Scopus)

    Abstract

    After a review of the concept of "monad with arities" we show that the category of algebras for such a monad has a canonical dense generator. This is used to extend the correspondence between finitary monads on sets and Lawvere's algebraic theories to a general correspondence between monads and theories for a given category with arities. As an application we determine arities for the free groupoid monad on involutive graphs and recover the symmetric simplicial nerve characterisation of groupoids.
    Original languageEnglish
    Pages (from-to)2029-2048
    Number of pages20
    JournalJournal of Pure and Applied Algebra
    Volume216
    Issue number8-9
    DOIs
    Publication statusPublished - 2012

    Fingerprint

    Dive into the research topics of 'Monads with arities and their associated theories'. Together they form a unique fingerprint.

    Cite this