9 May
2001
9 May
'01
10:12 p.m.
Recently I stumbled on the following: I find it hard to believe that they are not well-known facts. I would be grateful for references ... (a) The conditions for the Kleisli category of a monoidal monad to be closed (left/right) w.r.t the induced tensor when the original category is (left/right) closed. (b) The fact that, in the above situation, when the monad is idempotent the Kleisli category is always closed. With thanks in advance -robin (Robin Cockett)
9154
Age (days ago)
9154
Last active (days ago)
0 comments
1 participants
participants (1)
-
robin@cpsc.ucalgary.ca