From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2082 Path: news.gmane.org!not-for-mail From: Galchin Vasili Newsgroups: gmane.science.mathematics.categories Subject: Hereditarily finite sets Date: Mon, 6 Jan 2003 18:28:43 -0800 (PST) Message-ID: NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241018390 2334 80.91.229.2 (29 Apr 2009 15:19:50 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:19:50 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Wed Jan 8 14:35:03 2003 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 08 Jan 2003 14:35:03 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 18WKuH-0000sJ-00 for categories-list@mta.ca; Wed, 08 Jan 2003 14:26:25 -0400 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 7 Original-Lines: 17 Xref: news.gmane.org gmane.science.mathematics.categories:2082 Archived-At: Hello, I would like to know if anybody is doing research on applying category theory to hereditarily-finite sets, e.g. where an object is a hereditarily set with some kind of structure to it and morphism that preserves that structure. Obviously, the subcategory of SET where objects are just hered. finite sets and morphisms are functions between hered. finite sets is not "interesting". Also, the case where an object is a hered. set together with an endomorphism doesn't sound "interesting". I would like URL's of papers if possible. Thank you. Regards, Bill