On property-like structures

G. M. Kelly, Stephen Lack

    Research output: Contribution to journalArticlepeer-review

    32 Citations (Scopus)

    Abstract

    A category may bear many monoidal structures, but (to within a unique isomorphism) only one structure of 'category with finite products'. To capture such distinctions, we consider on a 2-category those 2-monads for which algebra structure is essentially unique if it exists, giving a precise mathematical definition of 'essentially unique' and investigating its consequences. We call such 2-monads property-like. We further consider the more restricted class of fully property-like 2-monads, consisting of those property-like 2-monads for which all 2-cells between (even lax) algebra morphisms are algebra 2-cells. The consideration of lax morphisms leads us to a new characterization of those monads, studied by Kock and Zoberlein, for which 'structure is adjoint to unit', and which we now call lax-idempotent 2-monads: both these and their colax-idempotent duals are fully property-like. We end by showing that (at least for finitary 2-monads) the classes of property-likes, fully property-likes, and lax-idempotents are each coreflective among all 2-monads.

    Original languageEnglish
    Pages (from-to)213-250
    Number of pages38
    JournalTheory and Applications of Categories
    Volume3
    Publication statusPublished - 1997

    Keywords

    • 2-category
    • Monad
    • Property
    • Structure

    Fingerprint

    Dive into the research topics of 'On property-like structures'. Together they form a unique fingerprint.

    Cite this