Unicity of enrichment over Cat or Gpd
Unicity of enrichment over \(\mathcal Cat\) or \(\mathcal Gpd\)
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).
- Uniqueness of enhancement for triangulated categories
- Uniqueness of uniform decompositions in exact categories
- The application of enriched category in L-quasi-uniformity
- The uniqueness of envelopes in ℵ0-categorical, ℵ0-stable structures
- Uniqueness of enhancements for derived and geometric categories
- Uniqueness ing-measures
- Unimodal category and the monotonicity conjecture
- A uniqueness theorem in a finitely accessible additive category
- Uniqueness of uniform decompositions in abelian categories
- scientific article; zbMATH DE number 4030162
- A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics
- Algebraic categories with few monoidal biclosed structures or none
- Elementary observations on 2-categorical limits
- Enrichment through variation
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 1129148 (Why is no real title available?)
- Two-dimensional monad theory
- Why tricategories?
This page was built for publication: Unicity of enrichment over \(\mathcal Cat\) or \(\mathcal Gpd\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q633802)
