FP lunch 18 May

May 25th, 2007 by Thorsten

After an exhausting Fun in the afternoon which turned into Fun with beer in the evening, we had Tarmo Uustalu around. I asked whether he had any idea how to say “generalized monad”, i.e. what we called Kleisli structure in that old paper with Bernie Reus in CatSpeak. Tarmo had a brilliant proposal, namely to view it as a monoid in the category of endofunctors (I am still working on the details of this proposal).

Later Conor talked about div (divergence) as a comonad and we entered the abyss of differential calculus of functors again, only to discover that we still don’t know how to derve Hank’s combinator from the defining adjunction. More explanation to be added at a later stage…

Leave a Reply