Supongamos que tenemos una inclusión de un subgrupo cerrado de Lie $H\to G$ y tomar el espacio de los cosets izquierdos de $H$ , $G/H$ . ¿Cómo se relaciona esto con la cofibra de homotopía de la inclusión de espacios topológicos $cof(\iota:H\to G)$ Es decir, "coning off". $H$ en $G$ . ¿Son equivalentes en homotopía?