The Homotopy Theory Learning Group