From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2713
Path: news.gmane.org!not-for-mail
From: Claudio Hermida <chermida@cs.queensu.ca>
Newsgroups: gmane.science.mathematics.categories
Subject: Re: comparing cotriples via an adjoint pair
Date: Mon, 31 May 2004 09:52:12 -0400
Message-ID: <40BB388C.9020905@cs.queensu.ca>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: ger.gmane.org 1241018846 5445 80.91.229.2 (29 Apr 2009 15:27:26 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:27:26 +0000 (UTC)
To: categories@mta.ca
Original-X-From: rrosebru@mta.ca Tue Jun  1 08:40:09 2004 -0300
Return-path: <cat-dist@mta.ca>
Envelope-to: categories-list@mta.ca
Delivery-date: Tue, 01 Jun 2004 08:40:09 -0300
Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10)
    id 1BV7Y9-0000ZL-00
    for categories-list@mta.ca; Tue, 01 Jun 2004 08:35:21 -0300
User-Agent: Mozilla/5.0 (Macintosh; U; PPC Mac OS X Mach-O; en-US; rv:1.4) Gecko/20030624 Netscape/7.1
X-Accept-Language: en-us, en, fr-ca, es-ar, it
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords: 
X-UID: 35
Original-Lines: 51
Xref: news.gmane.org gmane.science.mathematics.categories:2713
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/2713>

Gaunce Lewis wrote:

> I have encountered a situation in which I have two categories C, D which
> are related by a pair of adjoint functors L from C to D and R from D to
> C.  Also, there is a cotriple S on C and a cotriple T on D.  Finally,
> there
> is a natural isomorphism f from RT to SR.  It seems that if a couple of
> diagrams relating f to the structure maps of the cotriples commute, then
> there is an induced adjoint pair relating the two coalgebra
> categories.  Is
> this, or something similar to it, in the literature in some easily
> referenced place?
>
> Thanks,
> Gaunce


Here's a related reference: the appendix of

C.Hermida and B.Jacobs, Structural Induction and Coinduction in a
fibrational setting, Information and Computation 145(2) 107-152,1998.

stablishes the suitable 2-functoriality of categories of (co)algebras
for endofunctors as inserters (which does not follow straightforwardly
from their weighted limit formulation) and the more or less immediate
corollaries of induced adjoints, without any coequalisers or additional
structure. It is remarkably simple but fairly useful.

The result (and the argument) extends literally to the case of
Eilenberg-Moore algebras for monads: using the (old) notion of morphism
of monads from (a), given a pseudo-morphism of monads (f,\theta):M -> N
(where \theta is iso), if f has a right adjoint g, adjoint transposition
of \theta yields (g,\theta'):N -> M right adjoint to (f,\theta) in Mnd
(b), and 2-functoriality of algebras yields the desired adjunction
between the categories of algebras (commuting with the forgetful
functors, of course). Once again, no structure is required on the
categories involved.
(a) R. Street, The formal theory of monads, JPAA 2 (1972) 149-168

(b) R. Street, Two constructions on lax functors, Cahiers top. et geom.
diff. 13 (1972) 217-264.


Claudio

PS: There is a more liberal notion of 2-cell for Mnd, essentially
arising from internal category theory, but I don't know its impact in
the above adjoint results.