Esta es una pregunta en la notación presente en este post.
Definir $E_p = \{ (y, \gamma) \in E \times B^{[0,1]} \mid p(y) = \gamma(0) \}$. Hay un mapa (de hecho, un fibration) $q : E_p \to B$, $(y,\gamma) \mapsto \gamma(1)$, y el homotopy fibra es la fibra $F_p = q^{-1}(b_0)$. La inclusión $$i : F = p^{-1}(b_0) \to F_p$$ is given by $i(y) = (y, \mathrm{cst}_{b_0})$.
Mi pregunta es, ¿qué hace el cst de pie por aquí? Gracias de antemano!
