From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2699 Path: news.gmane.org!not-for-mail From: Gaunce Lewis Newsgroups: gmane.science.mathematics.categories Subject: comparing cotriples via an adjoint pair Date: Thu, 20 May 2004 23:28:18 -0400 Message-ID: <5.1.0.14.2.20040520232118.0235f070@mailbox.syr.edu> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed X-Trace: ger.gmane.org 1241018836 5375 80.91.229.2 (29 Apr 2009 15:27:16 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:27:16 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Fri May 21 17:01:45 2004 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 21 May 2004 17:01:45 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1BRG9c-0006OW-00 for categories-list@mta.ca; Fri, 21 May 2004 16:58:05 -0300 X-Sender: lglewis@mailbox.syr.edu X-Mailer: QUALCOMM Windows Eudora Version 5.1 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 21 Original-Lines: 15 Xref: news.gmane.org gmane.science.mathematics.categories:2699 Archived-At: 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