From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1230 Path: news.gmane.org!not-for-mail From: grandis@dima.unige.it (Marco Grandis) Newsgroups: gmane.science.mathematics.categories Subject: preprint: Simplicial toposes and combinatorial homotopy Date: Fri, 24 Sep 1999 10:27:48 +0100 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" X-Trace: ger.gmane.org 1241017656 30066 80.91.229.2 (29 Apr 2009 15:07:36 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:07:36 +0000 (UTC) To: categories@mta.ca Original-X-From: cat-dist Fri Sep 24 13:25:16 1999 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.9.3/8.9.3) id KAA30032 for categories-list; Fri, 24 Sep 1999 10:42:05 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Sender: grandis@dima.unige.it (Unverified) Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 56 Xref: news.gmane.org gmane.science.mathematics.categories:1230 Archived-At: The following preprint is available: M. Grandis Simplicial toposes and combinatorial homotopy, Dip. Mat. Univ. Genova, Preprint 400 (1999). Abstract. The term *combinatorial topos* denotes here a topos of presheaves over a small subcategory of the category of finite sets. The main instances we want to consider are the presheaf categories of simplicial sets, cubical sets, and globular sets, together with their symmetric versions: e.g., the topos !Smp of symmetric simplicial sets consists of all presheaves on the category !Delta of finite, positive cardinals. We show here how combinatorial homotopy, developed in previous works for simplicial complexes (the cartesian closed subcategory of *simple* presheaves in !Smp) can be extended to the topos !Smp. As a crucial advantage, the (extended) fundamental groupoid Pi_1: !Smp --> Gpd is left adjoint to a natural functor M_1: Gpd --> !Smp, the symmetric nerve of a groupoid, and therefore - as a strong van Kampen property - preserves all colimits. Analogously, a notion of (non-reversible) *directed* homotopy can be developed in Smp, with applications to image analysis similar to the ones of the symmetric case. We have now a homotopy n-category functor C_n: Smp --> n-Cat, left adjoint to a nerve N_n = n-Cat(C_n(Delta[n]), -). It would be interesting to determine whether the n-category C_n(Delta[n]) coincides with Street's oriental O_n, and the previous nerve with Street's, as it seems likely. ___ Available at: ftp://pitagora.dima.unige.it/WWW/FTP/GRANDIS/CmbTop.Sep99.ps (459 K) ___ Marco Grandis Dipartimento di Matematica Universita' di Genova via Dodecaneso 35 16146 GENOVA, Italy e-mail: grandis@dima.unige.it tel: +39.010.353 6805 fax: +39.010.353 6752 http://www.dima.unige.it/STAFF/GRANDIS/ ftp://pitagora.dima.unige.it/WWW/FTP/GRANDIS/