From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10455 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Venkata Rayudu Posina Newsgroups: gmane.science.mathematics.categories Subject: Grothendieck's strange fact Date: Tue, 20 Apr 2021 11:10:14 +0530 Message-ID: Reply-To: Venkata Rayudu Posina Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="18235"; mail-complaints-to="usenet@ciao.gmane.io" To: categories Original-X-From: majordomo@rr.mta.ca Wed Apr 21 18:09:38 2021 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lZFQ1-0004dQ-Q7 for gsmc-categories@m.gmane-mx.org; Wed, 21 Apr 2021 18:09:37 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:53858) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1lZFOH-0006N3-UT; Wed, 21 Apr 2021 13:07:49 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1lZFHv-0008C6-CQ for categories-list@rr.mta.ca; Wed, 21 Apr 2021 13:01:15 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10455 Archived-At: Dear All, I hope and pray you and your families are all safe and well. In a letter to Professor Ronnie Brown, Grothendieck notes "a strange fact" (p. 26, https://webusers.imj-prg.fr/~georges.maltsiniotis/ps/agrb_web= .pdf): "One interesting question here which I did not clear up yet, is, whether weak equivalence for a map of hemispherical complexes can be explicitly tested in terms of the source and target maps, just the same way as if we had actual =E2=88=9E-groupoids or =E2=88=9E-Gr-stacks (ne= ver mind whether associativities are strict or not), when the homotopy groups can be computed directly in terms of these extra structures. When you write down the condition that you get isomorphisms for these, it turns out though that the condition makes sense in terms of the source-and-target structure alone, without having to use the composition laws at all (nor even degeneracies). This is a strange fact, which should be understood." --Grothendieck, in a letter to Professor Ronnie Brown (p. 26, https://webusers.imj-prg.fr/~georges.maltsiniotis/ps/agrb_web.pdf) I was wondering if the strange fact: "the source-and-target structure alone" has been understood. For instance, does "the source-and-target structure alone" correspond to the theory of irreflexive directed multigraphs (see Lawvere and Schanuel's Conceptual Mathematics, p. 150)? Happy Tuesday :-) thanking you, posina [For admin and other information see: http://www.mta.ca/~cat-dist/ ]