Timeline for Completeness and cocompleteness of the Kleisli category
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 5, 2023 at 18:07 | comment | added | Kevin Carlson | It's worth noting that the author explicitly apologizes for his theorems being "powerless in practice." | |
| Mar 30, 2022 at 17:32 | comment | added | fosco | this is also to say that I find that paper extremely hard to read, for what is worth: it has some obscure statements, exactly 0 examples, and the conditions under which Kl(T) is small-complete look very rare in nature... | |
| Mar 30, 2022 at 17:21 | comment | added | fosco | I am struggling with that paper at the moment. I can't judge how common is the situation where the canonical comparison functor has a right adjoint (how many example of such situation are there "in the wild"?), and I'd like to have a result that says $C_T$ can fail to admit all limits, but at least has some (e.g., cotensors, or products...). | |
| Dec 23, 2015 at 0:07 | history | answered | Ittay Weiss | CC BY-SA 3.0 |