Pseudo-commutativity of KZ 2-monads (Q645210)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Pseudo-commutativity of KZ 2-monads |
scientific article |
Statements
Pseudo-commutativity of KZ 2-monads (English)
0 references
8 November 2011
0 references
The manuscript is advertised by its author as the first step in his attempt to get a rigid algebraic description of the situation, when certain colimits in a category commute with certain limits, the term ``first'' motivated by the fact that the main attention of the current paper is devoted to commutation of colimits with colimits. More precisely, given a complete and cocomplete symmetric monoidal closed \textbf{Cat}-enriched category \(\mathcal{W}\), the paper shows that a specific type of \(\mathcal{W}\)-monads on \(\mathcal{W}\)-categories, the so-called \textit{Kock-Zöberlein} (abbreviated \textit{KZ}) or \textit{lax-idempotent} \(\mathcal{W}\)-monads, are pseudo-commutative, the pseudo-commutativity in question being unique (Theorem~7.3). The main examples of such monads the author is interested in (considered in Section~8) are monads on \(\mathcal{V}\)-\textbf{Cat}, the algebras of which are \(\mathcal{V}\)-categories with a given small class \(\Phi\) of colimits, which essentially is a small class of weights \(\phi:D\rightarrow\mathcal{V}\). On the other hand, there exist pseudo-commutative 2-monads, which are not KZ (Example~7.5), e.g., the 2-monad on \textbf{Cat}, the algebras of which are symmetric strict monoidal categories. The paper starts with a thorough introduction into the main aspects of enriched category theory underlying its developments (Sections~2~-~6), provides its main achievements and their illustrating examples (Sections~7~-~8), and ends with rather routine \(\mathcal{W}\)-enriched versions of certain results concerning categories of algebras w.r.t. a monad (Appendix~A), e.g., the fact that a 2-monad on \(\mathcal{V}\)-\textbf{Cat}, whose algebras are \(\mathcal{V}\)-categories with chosen finite colimits, is finitary. The manuscript is quite technical in its nature, involving a significant number of enriched category-theoretic concepts and trying to provide a brief insight into each of them. The ultimate outcome of such an exposition, however, does not meet the expectations of the author. People, who are not acquainted with the required notions, will be unable to follow the presented results, due to the scarceness of the given theoretical background. On the other hand, those researchers, who do have the necessary knowledge on the topic of the paper, will find the long introduction preceding the actual achievements of the manuscript rather tedious.
0 references
2-category
0 references
2-monad
0 references
colimit
0 references
enriched category
0 references
fully faithful functor
0 references
KZ doctrine
0 references
monoidal category
0 references
multilinear map
0 references
pseudo-closed category
0 references
pseudo-commutative monad
0 references
\(T\)-algebra
0 references
tensor product
0 references