Re: adjoints to lax-idempotent algebra structures
On Sun, Nov 17, 2013 at 6:53 AM, Prof. Peter Johnstone <P.T.Johnstone@dpmms.cam.ac.uk> wrote:
What you can say about them in general is contained in Corollary B1.1.15 of the Elephant (page 254): they are exactly the retracts of free algebras (provided idempotent 2-cells split in the underlying 2-category), and they all occur as coadjoint retracts of free algebras.
That's exactly the sort of thing I was looking for; thanks! Continuous categories are one of the examples I had in mind. Another interesting almost-example is totally distributive categories. And when T is a monad for coproducts, such a left adjoint seems to decompose every object into a coproduct of connected ones (although I have not analyzed this case carefully). T-continuous is a reasonable name, but it would also be nice for a name to suggest B1.1.15. Is there a general name for algebras that are retracts of free ones? In particular cases they are "projective" or "cofibrant", but it seems doubtful that either of those terms applies literally here. Mike [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
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/ ]
participants (2)
-
Fred E.J. Linton -
Michael Shulman