Functoriality of the fundamental group (source code)

= Functoriality of the fundamental group

A continuous based map $f:(X,x_0)\to(Y,y_0)$ induces a homomorphism $f_*:\pi_1(X,x_0)\to\pi_1(Y,y_0)$ by composition of loops with $f$.