[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
categories: Kleisli and colimits
Does anyone know if the Kleisli construction (sending a monad to its Kleisli
category) behaves in any decent way with respect to colimits? E.g. does it
in any sense preserve or reflect them?
The actual situation that I have is a fixed category C, and a certain
coequalizer diagram in the category of monads on C. The resulting fork in
Cat is also a coequalizer, and the proofs that both diagrams are coequalizers
have some ingredients in common, but I can't at present see how to deduce one
from the other.
Thanks,
Tom Leinster