From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7951 Path: news.gmane.org!not-for-mail From: Camell Kachour Newsgroups: gmane.science.mathematics.categories Subject: Re: Paper on variable set theory Date: Tue, 17 Dec 2013 02:24:05 +0100 Message-ID: Reply-To: Camell Kachour NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: ger.gmane.org 1387307636 6858 80.91.229.3 (17 Dec 2013 19:13:56 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 17 Dec 2013 19:13:56 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Tue Dec 17 20:14:03 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 1Vt05i-0003RW-LX for gsmc-categories@m.gmane.org; Tue, 17 Dec 2013 20:14:02 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:55177) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1Vt03j-0005qP-0q; Tue, 17 Dec 2013 15:11:59 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Vt03i-0000LH-Lu for categories-list@mlist.mta.ca; Tue, 17 Dec 2013 15:11:58 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7951 Archived-At: Dear categoricists, It is well known that higher category theory has applications in homotopy (Work of Joyal, Lurie, Grothendieck conjecture, etc.). May someone gives me some references about probable applications of higher category theory in other areas ? I guess in computer science and other areas (rewriting ? etc.), they are probably some works !? Thank you very much to give me these references and for your help ! Best regards, Camell. On Sat, Dec 14, 2013 at 10:59 PM, Michael Barr wrote: > Around 1986, Colin McLarty, Charles Wells, and I noticed that Scientific > American had recently published a few articles on subjects mathematical > and decided to try to write one on variable set theory, AKA topos theory. > Unfortunately, that particular window at Sci Am quickly closed. Our > article was turned down and we forgot about it. More recently, I decided > it might be interesting, or at least amusing to throw it open to the > categorical community. The result can be found at > ftp://ftp.math.mcgill.ca/barr/pdffiles/vst.pdf > > Michael > > -- > Every gun that is made, every warship launched, every rocket fired > signifies, in the final sense, a theft from those who hunger and are not > fed, those who are cold and are not clothed. -Dwight D. Eisenhower > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]