# Van Kampen's theorem result

The Van Kampen's theorem for groupoids as stated in this entry is incomplete:
{\bf Theorem} If $X$ is the union of open sets $U,V$ with intersection $W$,
and $A$ meets each path component of $U,V,W$ then the following induced diagram
$$\xymatrix{ \pi_1(W,A) \ar [r] \ar [d] & \pi_1(U,A) \ar [d] \\ \pi_1(V,A) \ar [r] & \pi_1(X,A)}$$
is a pushout in the category of groupoids."

, whereas the remark in this entry about the Van Kampen's theorem for groups is relevant to the former and should be kept.

The statement of the Van Kampen's theorem for groupoids in this entry, therefore, should be simply referring to the existing, correct entry at PM by using the {\bf Related} entry function of the PM's old Noosphere linking it to the Object id 3947, with the canonical name of  VanKampensTheorem "; otherwise it is inconsistent with the correct statement of this theorem as completelely presented in the object with the id 3947,

Parting words from the person who closed the correction:
Status: Waiting for response
Reference to the article this correction is about:
Status of the article (was it accepted?):
Status of the article (is it closed?):
0
What kind of correction is this:
Error