From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4647 Path: news.gmane.org!not-for-mail From: Vaughan Pratt Newsgroups: gmane.science.mathematics.categories Subject: Re: mathematical objects Date: Wed, 01 Oct 2008 04:33:22 -0700 Message-ID: NNTP-Posting-Host: main.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 1241020079 14191 80.91.229.2 (29 Apr 2009 15:47:59 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:47:59 +0000 (UTC) To: Categories List Original-X-From: rrosebru@mta.ca Wed Oct 1 13:29:48 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 01 Oct 2008 13:29:48 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Kl4T8-00058S-Do for categories-list@mta.ca; Wed, 01 Oct 2008 13:22:30 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 2 Original-Lines: 28 Xref: news.gmane.org gmane.science.mathematics.categories:4647 Archived-At: Charles Wells wrote: > Readers of this list may be interested in my new blog post, Mathematical > objects in Wikipedia > . Agreed. Per http://en.wikipedia.org/wiki/Wikipedia:BOLD I replaced the offending article with something aiming for a middle ground and shamelessly stealing some of your references (thanks!). See http://en.wikipedia.org/w/index.php?title=Mathematical_object&diff=242209011&oldid=242199687 for the previous version. It might also be worth mentioning coalgebras, and perhaps more importantly dually defined structures such as locales which are understood better in terms of the morphisms from them to a cogenerator rather than those to them from a generator, i.e. dual elements rather than elements. Also toposes as a more general codomain of the forgetful functor than the particular topos Set. Thanks for pointing out this article---Wikipedia is full of problem articles like this and finding them and getting them into shape is an ongoing project. Vaughan