categories: Re: Monads without unit?

[F W Lawvere <wlawvere@acsu.buffalo.edu>]

Jason Reed's construction, adjoining a unit to obtain a monad,
seems to generalize one of the steps in the proof by Pare', Rosebrugh,
and Wood that any lex idempotent can be split in two steps, one of
the steps involving a left adjoint splitting and the other a right
adjoint splitting.  I believe this result was published about ten years
ago in Australia.


************************************************************
F. William Lawvere			
Mathematics Department, State University of New York
244 Mathematics Building, Buffalo, N.Y. 14260-2900 USA
Tel. 716-645-6284		   
HOMEPAGE:  http://www.acsu.buffalo.edu/~wlawvere
************************************************************