From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/905 Path: news.gmane.org!not-for-mail From: F W Lawvere Newsgroups: gmane.science.mathematics.categories Subject: Re: Reference? Date: Fri, 30 Oct 1998 11:02:31 -0500 (EST) Message-ID: Reply-To: wlawvere@ACSU.Buffalo.EDU NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241017312 28223 80.91.229.2 (29 Apr 2009 15:01:52 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:01:52 +0000 (UTC) To: Categories list Original-X-From: cat-dist Fri Oct 30 14:27:48 1998 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id MAA13509 for categories-list; Fri, 30 Oct 1998 12:59:29 -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: 46 Xref: news.gmane.org gmane.science.mathematics.categories:905 Archived-At: Re: Mike Barr's question concerning two equivalent definitions of a class of categories Since the term 'additive' had already been established to refer to the special case where the homs are abelian groups, I called these 'linear categories' in my paper Categories of Space and of Quantity in The Space of Mathematics, Philosophical, Epistemological and Historical Explorations, de Gruyter, Berlin (1992) pp 14-30 because 'linear' is a term well known to engineers, statisticians and others, and because these categories form the natural environment for applications of Linear Algebra. Of course, the entries in the matrices are in general maps, not necessarily scalars, although scalars for which the addition is idempotent are an important special case. (Here by the scalars of such a category I mean the elements of the rig which is its center.) In that paper I referred to what I believe is the first reference to this theory, namely Saunders Mac Lane's 1950 paper Duality for Groups, Bull AMS vol 56, pp 485-516, (1950) expounding work he did in the late 40's. Bill Lawvere ****************************************************************** F. William Lawvere Mathematics Dept. SUNY wlawvere@acsu.buffalo.edu 106 Diefendorf Hall 716-829-2144 ext. 117 Buffalo, N.Y. 14214, USA ****************************************************************** On Thu, 29 Oct 1998, Michael Barr wrote: > Can someone give me a reference for the fact that if the hom functor on a > category factors through commutative monoids then finite products are sums > and vice versa. Also conversely. > > Michael > > >