Exercise 13.1.7. Show that the functors \(s\colon \Tw ^r([n]) \to [n], (i \leq j) \mapsto i\) and \(t\colon \Tw ^r([n]) \to [n]\catop , (i \leq j) \mapsto j\) are cartesian fibrations.
Generated from the authoritative LaTeX source.
Stable homotopy theory and higher algebra · Exercise 13.1.7
Exercise 13.1.7. Show that the functors \(s\colon \Tw ^r([n]) \to [n], (i \leq j) \mapsto i\) and \(t\colon \Tw ^r([n]) \to [n]\catop , (i \leq j) \mapsto j\) are cartesian fibrations.
Generated from the authoritative LaTeX source.