Skip to main content
4 of 4
Clarified question.
Jesse Wolfson
  • 1.1k
  • 5
  • 16

Do Homotopy Fully Faithful Functors Push-out?

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?

More precisely, if $C\to D$ is fully faithful, and $C\to E$ is an arbitrary functor, is the canonical map $E\to E\sqcup_C D$ fully faithful?

Jesse Wolfson
  • 1.1k
  • 5
  • 16