10 Nov
2017
10 Nov
'17
3:03 a.m.
On Tue, Nov 7, 2017 at 4:57 PM, <ptj@maths.cam.ac.uk> wrote:
1) I'm not sure what Mike means by `those monads that correspond to toposes' since most toposes don't correspond to monads on anything.
I'm sorry, I meant "those monads that correspond to higher-order theories", where a higher-order theory gets interpreted in a topos in the same way that a Lawvere theory gets interpreted in a category with finite products. -- Mike Stay - metaweta@gmail.com http://www.cs.auckland.ac.nz/~mike http://reperiendi.wordpress.com [For admin and other information see: http://www.mta.ca/~cat-dist/ ]