All Questions
1 question
10
votes
0
answers
217
views
What are the (co)algebras for the $(\operatorname{Hom}(A,-), A\otimes-)$ adjunction (co)monad?
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 ...
- 18.4k