11 Jan
2011
11 Jan
'11
1:46 a.m.
Hello list, A theorem of Linton says that the Eilenberg--Moore category of a monad is equivalent to the category of presheaves on its Kleisli category that become representable when restricted to the base category (along the canonical inclusion). In Street and Walters's paper 'Yoneda structures on 2-categories', J. Algebra 50, 1978, proposition 22 generalizes Linton's result. The authors say in the introduction that
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'? FL -- Finn Lawler [For admin and other information see: http://www.mta.ca/~cat-dist/ ]