From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7853 Path: news.gmane.org!not-for-mail From: Colin McLarty Newsgroups: gmane.science.mathematics.categories Subject: Re: A category internal to itself Date: Wed, 4 Sep 2013 18:11:38 -0400 Message-ID: References: Reply-To: Colin McLarty NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: ger.gmane.org 1378385800 13806 80.91.229.3 (5 Sep 2013 12:56:40 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 5 Sep 2013 12:56:40 +0000 (UTC) Cc: categories list To: Andrej Bauer Original-X-From: majordomo@mlist.mta.ca Thu Sep 05 14:56:43 2013 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1VHZ70-0004en-Rf for gsmc-categories@m.gmane.org; Thu, 05 Sep 2013 14:56:38 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:36129) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1VHZ5h-00082g-FK; Thu, 05 Sep 2013 09:55:20 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1VHZ5g-0003Uf-1e for categories-list@mlist.mta.ca; Thu, 05 Sep 2013 09:55:16 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7853 Archived-At: In the set theory New Foundations (NF) using Quine's type-level pairing (so a pair has the same type in a stratification as its components) you can define small categories and small functors the usual way. Then, just as there is a set of all sets, there is a small category of all small categories. This is not a tautology. You have to verify a few things. Notably, in this context there is a set of all small functors because there is a set of all functions (yet the category of sets is not cartesian closed, because it lacks evaluation functions). Since a function is stratified at the same level as its domain and codomain sets there is no problem defining domain, codomain, composition, and identity-assigning functors for this category. This category is internal to itself. This example is even left exact. But it is not cartesian closed. Of course the consistency of NF is not settled. But I think everyone supposes it is equiconsistent with some more usual set theory (likely with ETCS). best, Colin On Wed, Sep 4, 2013 at 5:23 AM, Andrej Bauer wrote: > Chatting at a conference, the question came up why there is no > (non-trivial) category which is "internal to itself" (interpret this > in some sensible sense). And over coffee we thought this must be well > known, but not to us. Can somene shed some light on the matter? > > With kind regards, > > Andrej > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]