A (homotopy) fully faithful functor is a map of $\infty$-categories which induces weak equivalences on mapping spaces.
Are homotopy fully faithful functors preserved under (homotopy) pushout?
Do Homotopy Fully Faithful Functors Push-out?
Jesse Wolfson
- 1.1k
- 5
- 16