From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/304
Path: news.gmane.org!not-for-mail
From: categories <cat-dist@mta.ca>
Newsgroups: gmane.science.mathematics.categories
Subject: Re: query
Date: Mon, 10 Feb 1997 11:52:23 -0400 (AST)
Message-ID: <Pine.OSF.3.90.970210115202.26585A-100000@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 1241016881 25099 80.91.229.2 (29 Apr 2009 14:54:41 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 14:54:41 +0000 (UTC)
To: categories <categories@mta.ca>
Original-X-From: cat-dist Mon Feb 10 11:53:50 1997
Original-Received: by mailserv.mta.ca; id AA24853; Mon, 10 Feb 1997 11:52:24 -0400
Original-Lines: 7
Xref: news.gmane.org gmane.science.mathematics.categories:304
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/304>

Date: Mon, 10 Feb 1997 07:50:48 -0500 (EST)
From: Peter Freyd <pjf@saul.cis.upenn.edu>

I've been talking about paracategories for several years now.
But they require some more axioms. And they don't require 
inverses.