From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4150
Path: news.gmane.org!not-for-mail
From: Toby Bartels <toby+categories@ugcs.caltech.edu>
Newsgroups: gmane.science.mathematics.categories
Subject: Re: Cartesian closed without products
Date: Mon, 7 Jan 2008 13:35:11 -0800
Message-ID: <E1JCJ0o-0005w1-Sb@mailserv.mta.ca>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: ger.gmane.org 1241019754 11938 80.91.229.2 (29 Apr 2009 15:42:34 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:42:34 +0000 (UTC)
To: categories@mta.ca
Original-X-From: rrosebru@mta.ca Tue Jan  8 14:24:59 2008 -0400
Return-path: <cat-dist@mta.ca>
Envelope-to: categories-list@mta.ca
Delivery-date: Tue, 08 Jan 2008 14:24:59 -0400
Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61)
	(envelope-from <cat-dist@mta.ca>)
	id 1JCJ0o-0005w1-Sb
	for categories-list@mta.ca; Tue, 08 Jan 2008 14:17:19 -0400
Content-Disposition: inline
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords: 
X-UID: 11
Original-Lines: 20
Xref: news.gmane.org gmane.science.mathematics.categories:4150
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/4150>

Richard Garner wrote:

>On reflection, [...]
>EK-closed requires the unit object to be representable as
>well.

This is a reasonable requirement anyway,
since the unit is the 0fold iterated hom,
just as it's the 0fold iterated product.
So if you think <closed under binary products>
should be accompanied by <with a unit object>,
then so should <closed under internal homs>.

OTOH, the version without unit probably has some use,
just as non-monoid semigroups occasionally do.


--Toby