Timeline for Kleisli Monad bijection
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 26, 2010 at 13:09 | history | edited | Neel Krishnaswami | CC BY-SA 2.5 |
fixed typo
|
| May 26, 2010 at 12:56 | comment | added | user6082 | Thanks for this. But I'm not talking about the Kleisli Category $C_T$, I am talking about the Kleisli triple over $C$ (sorry, this was my mistake; I'll edit the question). In every place where I have seen the Kleisli triple defined from a Monad, the underlying Category is the same with no indexing of objects. When you index the objects, surely it is a different category, however you present the theory. | |
| May 26, 2010 at 12:33 | history | answered | Neel Krishnaswami | CC BY-SA 2.5 |