Consider the class of pointed topological spaces, i.e. topological spaces with distinguished factors. To every topological space X with distinguished point x0, one can define the basic group based mostly at x0, denoted π1(X, x0). That is the group of homotopy lessons of loops based at x0, with the group operation of concatenation. If f […]