From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3825 Path: news.gmane.org!not-for-mail From: Anders Kock Newsgroups: gmane.science.mathematics.categories Subject: Arens product Date: Tue, 17 Jul 2007 12:59:29 +0200 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" ; format="flowed" X-Trace: ger.gmane.org 1241019546 10466 80.91.229.2 (29 Apr 2009 15:39:06 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:39:06 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Tue Jul 17 08:33:47 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 17 Jul 2007 08:33:47 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1IAlCs-0005D4-AM for categories-list@mta.ca; Tue, 17 Jul 2007 08:27:06 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 19 Original-Lines: 37 Xref: news.gmane.org gmane.science.mathematics.categories:3825 Archived-At: In reply to Yemon Choi: The situation you describe has been studied in the context of symmetric monoidal closed categories, in some articles by me in the early 1970s (references below). The main point about double dualization in Banach spaces is that it is part of a V-enriched ("strong") monad on V (for suitable symmetric monoidal closed category V); and the two "Arens extensions" are special cases of the two canonical monoidal structures which any V-enriched monad on V admits. Commutative monads are those where the two structures agree. [1] Monads on symmetric monoidal closed categories, Archiv der Math. 21 (1970), 1-10. [2] On double dualization monads, Math. Scand 27 (1970), 151-165. [3] Bilinearity and Cartesian closed monads, Math. Scand 29 (1971), 161-174. [4] Strong functors and monoidal monads, Archiv der Math. 23 (1972), 113-120. [5] Closed categories generated by commutative monads, J. Austral. Math. Soc. 12 (1971), 405-424. The V-enrichment ("strength") of an endofunctor T on V can be encoded without reference to the closed structure of V as a transformation T(A)@B-->T(A@B) ("tensorial strength", introduced in [4]). Strong monads applied in functional-analytic contexts are also considered in my [6] Some problems and results in synthetic functional analysis , in Category Theoretic Methods in Geometry, Proceedings Aarhus 1983, Aarhus Various Publication Series 35 (1983) 168-191. All these papers, except [5], can be downloaded from my home page (go to the bottom of it), http://home.imf.au.dk/kock/ I hope the above references can be useful. Best wishes. Anders Kock