From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7147 Path: news.gmane.org!not-for-mail From: Michael Barr Newsgroups: gmane.science.mathematics.categories Subject: Re: What about biproducts? Date: Sat, 14 Jan 2012 15:12:44 -0500 (EST) Message-ID: References: Reply-To: Michael Barr NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII X-Trace: dough.gmane.org 1326640466 11201 80.91.229.12 (15 Jan 2012 15:14:26 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sun, 15 Jan 2012 15:14:26 +0000 (UTC) Cc: categories@mta.ca To: George Janelidze Original-X-From: majordomo@mlist.mta.ca Sun Jan 15 16:14:21 2012 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.4]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1RmRmm-0002Ti-9p for gsmc-categories@m.gmane.org; Sun, 15 Jan 2012 16:14:20 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:37210) by smtpx.mta.ca with esmtp (Exim 4.77) (envelope-from ) id 1RmRlF-0002rh-1S; Sun, 15 Jan 2012 11:12:45 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1RmRlE-00052m-PN for categories-list@mlist.mta.ca; Sun, 15 Jan 2012 11:12:44 -0400 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7147 Archived-At: Actually, I like "biproducts" at least when the category has them. Which it does in the situation we are working in and probably not important otherwise. To me "linear" would suggest a monoidal closed category, maybe *-autonomous. Michael -- Any society that would give up a little liberty to gain a little security will deserve neither and lose both. Benjamin Franklin [For admin and other information see: http://www.mta.ca/~cat-dist/ ]