Monads and adjunctions on categories and functors

James Chapman

Institute of Cybernetics

Thursday, 10 December 2009, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B101

Abstract: In this talk I will describe recent work with Thorsten Altenkirch and Tarmo Uustalu on a generalisation of monads from being defined on a category to being defined on a functor. I will introduce a number of examples (vector spaces, well-scoped lambda terms, and arrows), generalise some related constructions from standard monad theory (adjunction, Kleisli category, etc.), and relate the two notions of monad.

Tarmo Uustalu
Last update 10 December 2009