From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5102 Path: news.gmane.org!not-for-mail From: Andrew Stacey Newsgroups: gmane.science.mathematics.categories Subject: Re: The Wikibook on Category Theory Date: Thu, 20 Aug 2009 20:26:11 +0200 Message-ID: Reply-To: Andrew Stacey NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1250881635 30399 80.91.229.12 (21 Aug 2009 19:07:15 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 21 Aug 2009 19:07:15 +0000 (UTC) To: Andrew Salch , categories@mta.ca Original-X-From: categories@mta.ca Fri Aug 21 21:07:08 2009 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 1MeZS8-0004JO-CN for gsmc-categories@m.gmane.org; Fri, 21 Aug 2009 21:07:08 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1MeYr8-0000GI-BJ for categories-list@mta.ca; Fri, 21 Aug 2009 15:28:54 -0300 Content-Disposition: inline Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5102 Archived-At: Interesting idea. I've no idea if it's ever been thought of, but I for one would be interested in figuring out if this could be implemented in the n-lab. How many categories do think would actually go into such a database? Would it actually need to be a database, or would a hyperlinked table be sufficient? Andrew On Wed, Aug 19, 2009 at 12:42:46PM -0400, Andrew Salch wrote: > I have found nLab very helpful as well, for when I need to look up a > definition of some higher-categorical construction and I don't have a > book or paper on hand to refer to. I have thought many times, though, > that it would be great if there were some Web-accessible database of > categories which are commonly encountered in mathematics, and their > properties; I often find that I need to know if certain kinds of limits, > or colimits, or injective envelopes, etc. etc. etc. exist in a particular > category, and having some central database to look at (which would > hopefully tell me what I need to know as well as cite whatever paper the > result was proved in) would be a lot quicker than having to either search > the literature for such a result or try to re-prove the result myself. > Does anyone know if there have been any attempts to compile such a > database? > > Thanks, > Andrew S. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]