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