Seifert-Van Kampen theorem

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

Mathepedia render error: ! Undefined control sequence. l.9 \colim _{V\in \mathcal{F}}\Pi_1(V)\to \Pi_1(X) No pages of output. Transcript written on /var/lib/mathepedia-renderer/cache/mathepedia-2e761aa3b5a 2d9c79e148ea5605e1125abb0e33bc542c2d979db3c6cedd86f7c-m5r4iftz/diagram.log.

is an isomorphism of groupoids.