From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1959
Path: news.gmane.org!not-for-mail
From: Gaunce Lewis <lglewis@syr.edu>
Newsgroups: gmane.science.mathematics.categories
Subject: question about enriched category theory
Date: Fri, 11 May 2001 13:13:44 -0400
Message-ID: <5.0.2.1.2.20010511124058.00aca8e0@mailbox.syr.edu>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"; format=flowed
X-Trace: ger.gmane.org 1241018232 1389 80.91.229.2 (29 Apr 2009 15:17:12 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:17:12 +0000 (UTC)
To: categories@mta.ca
Original-X-From: rrosebru@mta.ca Sat May 12 09:53:23 2001 -0300
Return-Path: <cat-dist@mta.ca>
Original-Received: (from Majordom@localhost)
	by mailserv.mta.ca (8.11.1/8.11.1) id f4CCOFg21437
	for categories-list; Sat, 12 May 2001 09:24:15 -0300 (ADT)
X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f
X-Sender: lglewis@mailbox.syr.edu
X-Mailer: QUALCOMM Windows Eudora Version 5.0.2
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords: 
X-UID: 27
Original-Lines: 42
Xref: news.gmane.org gmane.science.mathematics.categories:1959
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/1959>

Assume that V is a symmetric monoidal closed category and that A and B are 
categories enriched over V which have tensors.  Let me denote the tensor of 
an object v of V and an object a of A by

v \ten a

Assume also that F is a functor from the underlying ordinary category A_0 
of A to the underlying category B_0 of B.  If F were enriched over V, then 
there would be a natural map

f : v \ten Fa --> F(v \ten a)

describing the behavior of F on tensors.

However, assume only that F is a functor on the underlying categories.  It 
seems to me that, if there is a well-behaved natural map f of the above 
form for all v in V and a in A, then F ought to be enriched over V.  It is 
easy to construct from f the map that ought to be the enrichment for 
F.  The trick is to decide what properties f must have in order to ensure 
that the putative enrichment really works.  Is this written up somewhere?

Along the same lines, suppose now that F and G are enriched functors from A 
to B with the associated maps

f : v \ten Fa --> F(v \ten a)

and

g : v \ten Ga --> G(v \ten a)

describing their behavior on tensors.  Assume also that t is an ordinary 
natural tranformation between the ordinary functors F_0 and G_0 underlying 
F and G.  There is an obvious diagram relating t, f, and g, and it seems 
that this diagram ought to commute if t is an enriched natural 
transformation.  In fact, it seems that the commutativity of this diagram 
ought to be equivalent to t being enriched over V.  Is this written down 
anywhere?

Thanks for any help on this,
Gaunce