Remark 2
Tag 01YL, permanent. Cite it as [Bourbaki, Tag 01YL].
Topologie algébrique, chapter III, § 3. Groupoïde de Poincaré
Let X be a topological space and let C be an arcwise connected component of X. If and are points of C, the topological space is identified with the topological space , so that the set is identified with the set . Thus, the fundamental groupoid is identified with the full subgroupoid of having C as set of points. In particular, for every point of C, the group is identified with the group .
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.