3 Aug
2010
3 Aug
'10
7:12 a.m.
Ah, good, thanks. Which suggests that for idempotent monads, tensor = sum might not be so stupid after all. On 3 August 2010 00:17, Prof. Peter Johnstone <P.T.Johnstone@dpmms.cam.ac.uk
wrote:
Dear Richard,
Your (*) is not an additional condition. Being a sheaf for both J and J' is equivalent to being a sheaf for their join (which I presume is what you mean by J n J'). For a proof, see A4.5.16 in the Elephant.
Peter ---------------------------
On Sun, 1 Aug 2010, Richard Garner wrote:
Further to my earlier question:
-- Given idempotent monads S, T on a category C for which we can speak of
the tensor of S and T, is it always the case that S * T is isomorphic to S + T?
,,,
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]