Functional Programming Seminar

Monads and adjunctions on categories and functors

James Chapman, (Institute of Cybernetics, Tallinn)

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.