Great, but why does the presentation say that a Kleisli-triple is an endofunctor together with two natural transformations? Formally, it isn't. If you squint just enough, yeah, it all falls into place, but I do not understand, why some people keep "abusing" these definitions.
Great, but why does the presentation say that a Kleisli-triple is an endofunctor together with two natural transformations? Formally, it isn't. If you squint just enough, yeah, it all falls into place, but I do not understand, why some people keep "abusing" these definitions.
ReplyDeleteIts Eugenio Mogi and not Engenio (slide around 5:19). On the issue of the name one could look at http://en.wikipedia.org/wiki/Eugene_%28given_name%29
ReplyDelete