Skip to main content
edited title
Link
Werner Thumann
  • 1.6k
  • 1
  • 10
  • 21

Pushout of categories along embeddings givegives homotopy pushoutspushout?

Source Link
Werner Thumann
  • 1.6k
  • 1
  • 10
  • 21

Pushout of categories along embeddings give homotopy pushouts?

Consider the pushout of a diagram $A\leftarrow B\rightarrow C$ of categories and assume that at least one of the arrows is an embedding, i.e. injective on objects and arrows. When applying the nerve functor to the pushout diagram, do we get a homotopy pushout in simplicial sets?