On the construction of the Grothendieck fundamental group of a topos by paths
type: Item
instance of: scholarly article
title: On the construction of the Grothendieck fundamental group of a topos by paths
zbMATH Open document ID: 0876.18002
DOI: 10.1016/S0022-4049(97)00163-1
author: Ieke Moerdijk
author: Marta Bunge
published in: Journal of Pure and Applied Algebra
publication date: 1997-11-18T00:00:00Z
review text: Since the original work of \textit{A. Grothendieck} in SGA 4 [Lect. Notes Math. 269 (1972; Zbl 0234.00007)] on constructing the fundamental group of a topos, there have been several different approaches to understanding it better, including work by both authors [\textit{M. Bunge}, ``Classifying toposes and fundamental localic groupoids'', in: Category theory '91, CMS Conf. Proc. 13, 75-96 (1992; Zbl 0787.18005)], as well as \textit{I. Moerdijk} and \textit{G. C. Wraith} [``Connected locally connected toposes are path-connected'', Trans. Am. Math. Soc. 295, 849-859 (1986; Zbl 0592.18003)]. Others who have worked on the fundamental group include Barr, Diaconescu and Kennison. The paper under review compares the Grothendieck construction using locally constant sheaves with the Moerdijk-Wraith construction using paths. The basic setting involves looking at a connected, locally connected (unpointed) topos \({\mathcal E}\). Several results are derived showing that the comparison map from the path construction fundamental group to the Grothendieck fundamental group is an equivalence, provided some additional assumptions, such as \({\mathcal E}\) is locally path-simply connected, are made. These results also readily follow in the case of toposes with a chosen base point.
Mathematics Subject Classification ID: 18B25
Mathematics Subject Classification ID: 57M05
Mathematics Subject Classification ID: 18F20
zbMATH DE Number: 1004393
zbMATH Keywords: fundamental group of topos
zbMATH Keywords: locally constant sheaves
zbMATH Keywords: path construction
reviewed by: K. I. Rosenthal
MaRDI profile type: Publication
cites work: Q3926769
cites work: Q3137143
cites work: Q4277652
cites work: Q4145861
cites work: Continuous categories and exponentiable toposes
cites work: Toposes as homotopy groupoids
cites work: An extension of the Galois theory of Grothendieck
cites work: The fundamental localic groupoid of a topos
cites work: Q3986545
cites work: Q3714248
cites work: Path-Lifting for Grothendieck Toposes
cites work: The Classifying Topos of a Continuous Groupoid. I
cites work: Q4206922
cites work: Q4205616
cites work: Classifying toposes and foliations
cites work: An addendum to &#x201C;Path-lifting for Grothendieck toposes&quot;
cites work: Connected Locally Connected Toposes are Path-Connected
cites work: Riemannian foliations. With appendices by G. Cairns, Y. Carrière, E. Ghys, E. Salem, V. Sergiescu
cites work: Q3331945
full work available at URL: s0022-4049(97)00163-1
OpenAlex ID: W1999469781
description: scientific article; zbMATH DE number 1004393