Re: Yoneda Lemma when there is a monad

I attribute the result to

[FEJ Linton, Relative functorial semantics: adjointness results, Lecture Notes in Math 99 (1969) 166--177]

but cannot remember whether the pullback is explicitly there.

The square appears in Section 9 of [FEJ Linton, An Outline of Functorial Semantics, Lecture Notes in Math 80]; see page 32 of [Reprints in Theory and Applications of Categories 18 (2008)1--303]. At a quick look, it doesn't seem to say that the square is a pullback at that point. ==Ross [For admin and other information see: http://www.mta.ca/~cat-dist/ ]