Internal algebra classifiers as codescent objects of crossed internal categories

Mark Weber

    Research output: Contribution to journalArticlepeer-review

    12 Citations (Scopus)


    Inspired by recent work of Batanin and Berger on the homotopy theory of operads, a general monad-theoretic context for speaking about structures within struc- tures is presented, and the problem of constructing the universal ambient structure containing the prescribed internal structure is studied. Following the work of Lack, these universal objects must be constructed from simplicial objects arising from our monad-theoretic framework, as certain 2-categorical colimits called codescent objects. We isolate the extra structure present on these simplicial objects which enable their codescent objects to be computed. These are the crossed internal categories of the title, and generalise the crossed simplicial groups of Loday and Fiedorowicz. The most gen- eral results of this article are concerned with how to compute such codescent objects in 2-categories of internal categories, and on isolating conditions on the monad-theoretic situation which enable these results to apply. Combined with earlier work of the author in which operads are seen as polynomial 2-monads, our results are then applied to the theory of non-symmetric, symmetric and braided operads. In particular, the well-known construction of a PROP from an operad is recovered, as an illustration of our techniques.
    Original languageEnglish
    Pages (from-to)1713-1792
    Number of pages80
    JournalTheory and Applications of Categories
    Issue number50
    Publication statusPublished - 30 Nov 2015


    • internal algebras
    • codescent objects
    • crossed internal categories


    Dive into the research topics of 'Internal algebra classifiers as codescent objects of crossed internal categories'. Together they form a unique fingerprint.

    Cite this