All Questions

A module $A$ over a commutative ring $k$ gives a pair of adjoint endofunctors, $(A\otimes_k-)$ left adjoint to $\operatorname{Hom}_k(A,-)$. They produce a monad $T_A$ and a comonad $C_A$. Is there any ...

I have recently asked a question about the composition of two monads, namely $\mathcal{M}_P = \mathcal{M}_C \cdot \mathcal{M}_C$. I am conjecturing that the cateogory of $\mathbb{C}$-Modules and the ...

I am trying to analyze the category of algebras for the finite free commutative monoid monad, aka the finite multiset monad. This monad is frequently described as having a multiplication that takes a ...

It seems that I am working on a conjecture in category theory. In particular, I am curious about the spotty nature of the composition of monads on Set. I am guessing that there is a category, $\...