Desde el segundo grupo de homotopía relativa hasta el grupo fundamental, se puede dar la estructura del módulo cruzado.
Desde el grupo de homotopía fundamental hasta el segundo grupo relativo, se le puede dar la estructura del módulo cruzado. El functor