Skip to main content
expanded, incorporating elements from the comments
Source Link
Mike Shulman
  • 66.8k
  • 7
  • 162
  • 368

The author means there is a zigzag of natural transformations. That is, "a natural transformation between $\varphi_i$ and $\varphi_{i+1}$" is intended to be nonspecific as to the direction of the transformation: it could go from $\varphi_i$ to $\varphi_{i+1}$ or from $\varphi_{i+1}$ to $\varphi_{i}$.

This is a reasonable notion of "homotopy" between functors because upon passing to geometric realizations / classifying spaces, any natural transformation induces a homotopy in the topological sense, and homotopies in the latter sense can always be reversed as well as composed; thus any zigzag of natural transformations between functors induces a single homotopy between their geometric realizations.

The author means there is a zigzag of natural transformations.

The author means there is a zigzag of natural transformations. That is, "a natural transformation between $\varphi_i$ and $\varphi_{i+1}$" is intended to be nonspecific as to the direction of the transformation: it could go from $\varphi_i$ to $\varphi_{i+1}$ or from $\varphi_{i+1}$ to $\varphi_{i}$.

This is a reasonable notion of "homotopy" between functors because upon passing to geometric realizations / classifying spaces, any natural transformation induces a homotopy in the topological sense, and homotopies in the latter sense can always be reversed as well as composed; thus any zigzag of natural transformations between functors induces a single homotopy between their geometric realizations.

added 1 character in body
Source Link
Fan Zheng
  • 5.2k
  • 20
  • 37

The author meanmeans there is a zigzag of natural transformations.

The author mean there is a zigzag of natural transformations.

The author means there is a zigzag of natural transformations.

Source Link

The author mean there is a zigzag of natural transformations.

Post Made Community Wiki by Praphulla Koushik