* coequalizers in the category of algebras for the double powerset triple
@ 2015-03-26 12:45 Michael Barr
0 siblings, 0 replies; 2+ messages in thread
From: Michael Barr @ 2015-03-26 12:45 UTC (permalink / raw)
To: Categories mailing list
Recently there was a question as to whether these coequalizers exist.
Unless I have misunderstood the question, the affirmative answer is given
in the example in the middle of p.72 of Linton's paper in TAC reprint #18.
Michael
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: coequalizers in the category of algebras for the double powerset triple
@ 2015-03-27 16:30 Fred E.J. Linton
0 siblings, 0 replies; 2+ messages in thread
From: Fred E.J. Linton @ 2015-03-27 16:30 UTC (permalink / raw)
To: Michael Barr, Categories mailing list
If I had thought Richard's monad was on the category of sets,
I'd have answered the same way:
| From: Michael Barr <barr@math.mcgill.ca>
|
| > Recently there was a question as to whether these coequalizers exist.
| > Unless I have misunderstood the question, the affirmative answer is given
| > in the example in the middle of p.72 of Linton's paper in TAC reprint
#18.
But Richard writes of his monad as being "on the category of locales",
and there I'm not so sure ... .
Cheers, -- Fred
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2015-03-27 16:30 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-03-26 12:45 coequalizers in the category of algebras for the double powerset triple Michael Barr
2015-03-27 16:30 Fred E.J. Linton
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).