From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5465 Path: news.gmane.org!not-for-mail From: "Eduardo J. Dubuc" Newsgroups: gmane.science.mathematics.categories Subject: classical_small_vs_large Date: Sun, 03 Jan 2010 14:44:33 -0200 Message-ID: Reply-To: "Eduardo J. Dubuc" NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1262574652 23741 80.91.229.12 (4 Jan 2010 03:10:52 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 4 Jan 2010 03:10:52 +0000 (UTC) To: Categories list Original-X-From: categories@mta.ca Mon Jan 04 04:10:44 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1NRdL3-00076n-Qk for gsmc-categories@m.gmane.org; Mon, 04 Jan 2010 04:10:37 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1NRcqx-0002MQ-45 for categories-list@mta.ca; Sun, 03 Jan 2010 22:39:31 -0400 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5465 Archived-At: Lawvere has many times stressed the need to find a correct "definition" of large topoi (or topoi of spaces). It is classical the distinction between topoi of spaces (large) versus space (or spatial) topoi (small) as for example the large Zariski topos versus the small Zariski topos (or the same for the etal topology, although in this second case neither is spatial in the strict technical sense) I just bring this classical examples for consideration in this thread e.d. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]