 Functoriality of the fundamental group

A continuous based map $f:(X,x_0)\to (Y,y_0)$ induces a homomorphism $f_{\ast }:{\pi }_1(X,x_0)\to {\pi }_1(Y,y_0)$ by composition of loops with $f$.