From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2420 Path: news.gmane.org!not-for-mail From: Jpdonaly@aol.com Newsgroups: gmane.science.mathematics.categories Subject: A remark related to Paul Levy's email on modules (Pat Donaly) Date: Fri, 22 Aug 2003 12:08:34 EDT Message-ID: <14.17a991a9.2c779a02@aol.com> 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 1241018647 4085 80.91.229.2 (29 Apr 2009 15:24:07 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:24:07 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Mon Aug 25 13:15:43 2003 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 25 Aug 2003 13:15:43 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 19rJyv-0007bG-00 for categories-list@mta.ca; Mon, 25 Aug 2003 13:14:13 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 12 Original-Lines: 48 Xref: news.gmane.org gmane.science.mathematics.categories:2420 Archived-At: All categorists: I can't respond to Paul Levy's request for sources, but the issue of categorical modules may relate to a general question regarding the necessity of V-enrichment via monoidal categories. So, in a backhanded sense, it could bear on Paul's apparent search for something independent of standard V-enrichment. Please pardon my naivete---my whole concern with this issue began just a few weeks ago during some correspondence with Gabi Lukacs. First, the connection, then the question: Since I am a little out of sympathy with monoidal categories, if I want to enrich the homsets of a category R into objects of some other category C which has a function-valued forgetful functor U on it, I look for a bifunctor r:RxR'--->C (where R' is the opposite category of R) for which the function composite functor U o r is the identity adjunction on R. This adjunction is the bicomposition functor which sends a pair (a,b) to the function z-->azb (which maps between the obvious homsets). If s:SxS'--->C is another such C-enrichment or structure, then a C-structure morphism from r to s is a functor from R to S which satisfies a certain property which is stated in terms of the identity adjunctions which are at issue. It frequently happens that C has a salient C-structure c:CxC'--->C of its own, in which case I am inclined to call a C-structure morphism from r to c an r-module. Take R to be the multiplicative monoid of a small ring, r to be simultaneous left and right multiplication in R and C to be the category of small commutative group homomorphisms to see that a ring is a C-structure and that an r-module is the usual idea of an R-module in this case. I hope that this is what Paul's question is about. I would like to see more information along these lines, myself. My question generally asks for the relationship between what is apparently called V-enrichment and the idea just outlined. I can see that, if I fix an R'-object in the right argument of a C-structure r, I get an r-module (a left regular r-module, in fact), and, by taking left or co- adjoint functors of such modules (if possible), I should get a tensor product concept which should define a monoidal category composition for which the V-enrichment is r. The literature has presumably examined the extent to which this is valid, and I would appreciate being told where. Second, with my ingrained if idiosyncratic prejudices against monoidal categories, I am curious to know if in some impressive sense all (presumably closed?) monoidal categories come about in this way? Are those which don't particularly interesting? Or is the situation the reverse: Every worthwhile monoidal category comes from a C-structure r, but there are important r's which don't provide a monoidal category. Is the full story laid out in a book? Michael Kelley's book is out of print according to Gabi Lukacs. Any help? Pat Donaly