From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1927 Path: news.gmane.org!not-for-mail From: Tom Leinster Newsgroups: gmane.science.mathematics.categories Subject: Kleisli and colimits Date: Wed, 25 Apr 2001 15:31:08 +0100 (BST) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241018209 1231 80.91.229.2 (29 Apr 2009 15:16:49 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:16:49 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Wed Apr 25 12:10:00 2001 -0300 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f3PEe3u29244 for categories-list; Wed, 25 Apr 2001 11:40:03 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Mailer: ELM [version 2.5 PL3] X-Scanner: exiscan *14sQJm-0001ed-00*j1LRnZ0fCe2* http://duncanthrax.net/exiscan/ Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 25 Original-Lines: 18 Xref: news.gmane.org gmane.science.mathematics.categories:1927 Archived-At: Does anyone know if the Kleisli construction (sending a monad to its Kleisli category) behaves in any decent way with respect to colimits? E.g. does it in any sense preserve or reflect them? The actual situation that I have is a fixed category C, and a certain coequalizer diagram in the category of monads on C. The resulting fork in Cat is also a coequalizer, and the proofs that both diagrams are coequalizers have some ingredients in common, but I can't at present see how to deduce one from the other. Thanks, Tom Leinster