From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3467 Path: news.gmane.org!not-for-mail From: Miles Gould Newsgroups: gmane.science.mathematics.categories Subject: Decomposability of monads Date: Fri, 20 Oct 2006 16:14:09 +0100 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1241019323 8883 80.91.229.2 (29 Apr 2009 15:35:23 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:35:23 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Mon Oct 23 22:23:09 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 23 Oct 2006 22:23:09 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1GcAx8-0001HC-NF for categories-list@mta.ca; Mon, 23 Oct 2006 22:19:38 -0300 Content-Disposition: inline Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 30 Original-Lines: 17 Xref: news.gmane.org gmane.science.mathematics.categories:3467 Archived-At: Dear categorists, The free ring monad (on, say, Set) may be decomposed into the free monoid monad and the free abelian group monad, connected by a distributive law. Is it known which monads can be decomposed into "simpler" ones (whatever that means), connected by distributive laws? I'm particularly interested in the case of monads describing algebraic theories. Thanks, Miles -- Amazing! You type random strings of letters, and it does what you want! -- Rhiannon Mogridge, on vi