Exercise 1.7.14. Construct an analogous equivalence \(\pullback ^{\triangleleft } \iso [1] \times [1]\).
Generated from the authoritative LaTeX source.
Stable homotopy theory and higher algebra · Exercise 1.7.14
Exercise 1.7.14. Construct an analogous equivalence \(\pullback ^{\triangleleft } \iso [1] \times [1]\).
Generated from the authoritative LaTeX source.