Topic: The Fundamental Group

Constant Loops as the Identity

Conjugation and Dependence on the Base-Point Path

Conjugate Homomorphisms from Unbased Homotopies

Concatenation and Reversal of Loops

Based Homotopic Maps Induce the Same Homomorphism

Based Loops and Endpoint-Preserving Homotopies

Base-Point Tracks for Unbased Homotopies

Base-Point Change Along a Path

Base-Point Independence in Path-Connected Spaces

Associativity of Loop Concatenation