Seifert-Van Kampen theorem: Difference between revisions

Revision as of 18:54, 14 May 2026

Statement

Let $\text{[math]}$ be a topological space and let $\text{[math]}$ be an open cover of $\text{[math]}$ .

Let $\text{[math]}$ be the set of all finite non-empty intersections of members of $\text{[math]}$ :

$\text{[math]}$

.

Regard $\text{[math]}$ as a category whose objects are the elements of $\text{[math]}$ and in which there is a unique morphism $\text{[math]}$ whenever $\text{[math]}$ .

Let $\text{[math]}$ be the functor that sends each $\text{[math]}$ to its fundamental groupoid $\text{[math]}$ and each inclusion $\text{[math]}$ to the induced morphism of groupoids.

Then the canonical morphism

$\text{[math]}$

is an isomorphism of groupoids.

@@ Line 10: / Line 10: @@
 Then the canonical morphism
-<math display="block">\colim_{V\in \mathcal{F}}\Pi_1(V)\to \Pi_1(X)</math>
+<math display="block">\operatorname{colim}_{V\in \mathcal{F}}\Pi_1(V)\to \Pi_1(X)</math>
 is an isomorphism of groupoids.