From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1957
Path: news.gmane.org!not-for-mail
From: robin@cpsc.ucalgary.ca
Newsgroups: gmane.science.mathematics.categories
Subject: Idempotent monoidal monads ...
Date: Wed, 9 May 2001 16:12:51 -0600 (MDT)
Message-ID: <200105092217.f49MHW315771@imgw1.cpsc.ucalgary.ca>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
X-Trace: ger.gmane.org 1241018231 1381 80.91.229.2 (29 Apr 2009 15:17:11 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:17:11 +0000 (UTC)
To: categories@mta.ca
Original-X-From: rrosebru@mta.ca Wed May  9 20:21:44 2001 -0300
Return-Path: <cat-dist@mta.ca>
Original-Received: (from Majordom@localhost)
	by mailserv.mta.ca (8.11.1/8.11.1) id f49MudY16315
	for categories-list; Wed, 9 May 2001 19:56:39 -0300 (ADT)
X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords: 
X-UID: 25
Original-Lines: 18
Xref: news.gmane.org gmane.science.mathematics.categories:1957
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/1957>


Recently I stumbled on the following: I find it hard to believe that
they are not well-known facts.  I would be grateful for references ...

(a) The conditions for the Kleisli category of a monoidal monad to be 
    closed (left/right) w.r.t the induced tensor when the original
    category is (left/right) closed.

(b) The fact that, in the above situation, when the monad is idempotent
    the Kleisli category is always closed.

With thanks in advance

-robin

(Robin Cockett)