From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5999 Path: news.gmane.org!not-for-mail From: =?ISO-8859-1?Q?Mattias_Wikstr=F6m?= Newsgroups: gmane.science.mathematics.categories Subject: Can one define a "category of all mathematical objects"? Date: Fri, 23 Jul 2010 09:49:26 +0200 Message-ID: Reply-To: =?ISO-8859-1?Q?Mattias_Wikstr=F6m?= NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: dough.gmane.org 1279899494 28305 80.91.229.12 (23 Jul 2010 15:38:14 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Fri, 23 Jul 2010 15:38:14 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Fri Jul 23 17:38:11 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpy.mta.ca ([138.73.1.139]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1OcKK9-0007PB-Eo for gsmc-categories@m.gmane.org; Fri, 23 Jul 2010 17:38:09 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:34879) by smtpy.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1OcKI6-0000Vp-2u; Fri, 23 Jul 2010 12:36:02 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1OcKI1-0006ik-DG for categories-list@mlist.mta.ca; Fri, 23 Jul 2010 12:35:57 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5999 Archived-At: Dear Categorists, I would be interested in hearing what you think of an idea that seems rather wild: Is it possible to define a category with nice properties such that any locally small category becomes isomorphic to a subcategory of that category? In the absence of such a category, can a category such as the category of all Grothendieck topoi and geometric morphisms between them serve as a "category of all mathematical objects" for practical purposes? Mattias Wikstrom [For admin and other information see: http://www.mta.ca/~cat-dist/ ]