#fundamental group #algebraic topology #gluing spaces #path connected #π₁ #homotopy theory