30 Nov
2000
30 Nov
'00
3:20 p.m.
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 ************************************************************