Unicity of enrichment over \(\mathcal Cat\) or \(\mathcal Gpd\) (Q633802)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Unicity of enrichment over \(\mathcal Cat\) or \(\mathcal Gpd\)
scientific article

    Statements

    Unicity of enrichment over \(\mathcal Cat\) or \(\mathcal Gpd\) (English)
    0 references
    30 March 2011
    0 references
    The paper is motivated by the question posed by \textit{G.~M.~Kelly} on whether a monad on \(\mathcal Cat\) (the category of small categories) can be enriched over \(\mathcal Cat\) in a unique way. The author shows a sufficient condition (the existence of tensors or cotensors with the arrow category) for an ordinary monad on a 2-category to have at most one enrichment (\(\mathcal Cat\) can be easily replaced with the category \(\mathcal Gpd\) of groupoids). On the other hand, there exist monads on \(\mathcal Cat\), which have no enrichment and, moreover, enrichment over the categories different from \(\mathcal Cat\) and \(\mathcal Gpd\) can be not unique (the respective examples are provided in the manuscript).
    0 references
    2-category
    0 references
    cotensors
    0 references
    enrichment
    0 references
    monad
    0 references
    tensors
    0 references
    0 references

    Identifiers