-
21 October 2008
-
2:30 - 4:00 Gavin Seal
Order-adjoint monads
Abstract:
An order-adjoint monad is essentially a monad on SET whose functor
allows for order-adjoint situations in its codomain. Given such a
monad T, one can construct the category Kleisli monoids (that is, of monoids
in the hom-sets of the associated Kleisli category), over which the
category of T-algebras is monadic. The T-algebras can alternatively be
characterized as certain injective objects in the category of Kleisli
monoids.
In this talk, we will go over the OctoberFest talk in more details,
and relate those results with injective objects.