11 Jan
2011
11 Jan
'11
10:13 a.m.
Dear Finn On 11/01/2011, at 1:46 AM, Finn Lawler wrote:
it shows that the Eilenberg--Moore algebras for a monad can be regarded as sheaves for a certain generalized topology on the Kleisli category.
Can anyone shed any light on what they mean by a `generalized topology'?
Perhaps we should have said "generalized Ehresmann sketch". After all, I believe Linton's work aimed at generalizing to all monads the correspondence between monads of finite rank on Set and Lawvere theories, under which Eilenberg-Moore algebras become product-preserving presheaves on part of the Kleisli category). I suspect that is what we intended. Ross [For admin and other information see: http://www.mta.ca/~cat-dist/ ]