From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5874 Path: news.gmane.org!not-for-mail From: zoran skoda Newsgroups: gmane.science.mathematics.categories Subject: Re: Re: Straw man terminology Date: Thu, 27 May 2010 17:55:28 +0200 Message-ID: References: Reply-To: zoran skoda NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1275151814 26967 80.91.229.12 (29 May 2010 16:50:14 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sat, 29 May 2010 16:50:14 +0000 (UTC) To: Urs Schreiber Original-X-From: categories@mta.ca Sat May 29 18:50:13 2010 connect(): No such file or directory 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.69) (envelope-from ) id 1OIPEi-0007Ke-Gl for gsmc-categories@m.gmane.org; Sat, 29 May 2010 18:50:12 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1OIOai-0005Zk-Ff for categories-list@mta.ca; Sat, 29 May 2010 13:08:52 -0300 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5874 Archived-At: Urs, Andre did not say that Lurie's usage of the term (infty,1)-category distinguishes from yours but that his usage of the term infinity-category (note the difference) is specific to mean quasicategory: his introduction says: "We begin with what we feel is the most intuitive approach to the subject, based on topological categories. This approach is easy to understand, but difficult to work with when one wishes to perform even simple categorical constructions. As a remedy, we will introduce the more suitable formalism of =E2=88=9E-cat= egories (called weak Kan complexes in [10] and quasi-categories in [43]), which provides a more convenient settin= g for adaptations of sophisticated category-theoretic ideas. Our goal in =C2=A71.1.1 is to introduce both appr= oaches and to explain why they are equivalent to one another." [For admin and other information see: http://www.mta.ca/~cat-dist/ ]