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

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 5871640
Language Label Description Also known as
default for all languages
No label defined
    English
    Unicity of enrichment over \(\mathcal Cat\) or \(\mathcal Gpd\)
    scientific article; zbMATH DE number 5871640

      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