18 Nov
2013
18 Nov
'13
7:43 a.m.
On Sun, 17 Nov 2013 08:42:00 AM EST, Michael Shulman <shulman@sandiego.edu> asked:
Let T be a lax-idempotent (i.e. Kock-Zoberlein) 2-monad (or pseudomonad). Then to give a pseudo T-algebra structure on an object A is to give a left adjoint a : TA -> A to the unit e : A -> TA. Has anyone studied and/or named the class of T-algebras for which the algebra structure map admits a further left adjoint? In examples, this seems to be a sort of "super-exactness" condition.
If it's not too much like Macy's telling Gimbel's, could you share with us here a few such examples, please? Thanks. And cheers. -- Fred [For admin and other information see: http://www.mta.ca/~cat-dist/ ]