Example 23.1.11. The forgetful functor \(\mathrm {VectBund} \to \Top , (X,E) \mapsto X\) is a cartesian fibration. See Chapterexercise 23.1 for details.
Generated from the authoritative LaTeX source.
Stable homotopy theory and higher algebra · Example 23.1.11
Example 23.1.11. The forgetful functor \(\mathrm {VectBund} \to \Top , (X,E) \mapsto X\) is a cartesian fibration. See Chapterexercise 23.1 for details.
Generated from the authoritative LaTeX source.