From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/686
Path: news.gmane.org!not-for-mail
From: maxk@maths.usyd.edu.au (Max Kelly)
Newsgroups: gmane.science.mathematics.categories
Subject: Re: tensor product of categories
Date: Thu, 26 Mar 1998 15:27:09 +1100 (EST)
Message-ID: <199803260427.PAA30662@milan.maths.usyd.edu.au>
NNTP-Posting-Host: main.gmane.org
X-Trace: ger.gmane.org 1241017120 26914 80.91.229.2 (29 Apr 2009 14:58:40 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 14:58:40 +0000 (UTC)
To: baez@math.ucr.edu, categories@mta.ca
Original-X-From: cat-dist Thu Mar 26 14:32:36 1998
Original-Received: (from Majordom@localhost)
	by mailserv.mta.ca (8.8.8/8.8.8) id LAA01300
	for categories-list; Thu, 26 Mar 1998 11:02:18 -0400 (AST)
X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f
Original-Sender: cat-dist@mta.ca
Precedence: bulk
Original-Lines: 27
Xref: news.gmane.org gmane.science.mathematics.categories:686
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/686>

This is in response to John Baez' query:

Where can I read about the "tensor product" of cocomplete categories?
(Hopefully this is a sensible and self-explanatory concept.)
Or variations on this theme involving categories with coproducts,
or finite colimits, or finite coproducts? 

I can think of three things of mine in print which are relevant:

\item"{[35]}" (with F. Foltz and C. Lair) Algebraic categories with few
monoidal biclosed structures or none, {\it Jour. Pure and Applied Alg.} 17
(1980), 171-177.

(the last section or so of)
\item"{[41]}" Structures defined by finite limits in the enriched context I,
 {\it Cahiers de Top. et G\'eom. Diff.} 23 (1982), 3-42.


\item"{[52]}" (with G.B. Im) A universal property of the convolution monoidal
structure, {\it J. Pure Appl. Algebra} 43 (1986), 75-88. 

Much of this kind of thing is folklore; when one uses "left adjoint" rather
than "cocontinuous", some speak of considering "objects in two categories" -
see the first paper above.

Max Kelly.