Él empezó a escribir acerca de extensiones de grupos en 1942 y comenzó su época de colaboración con Samuel Eilenberg en 1943 resultando en los ahora llamados espacios de Eilemberg-Mac Lane K("G","n") que tienen un solo grupo de homotopía no trivial "G" en dimensión "n".