Construction 16.5.4. Let \(C\) be a pointed \(\infty \)-category with finite colimits, let \(D\) be a pointed \(\infty \)-category with finite limits, and let \(F\colon C \to D\) be a reduced functor. Applying \(F\) to the pushout square defining \(\Sigma _CX\) gives a square
and hence a canonical map \[ \eta _X\colon F(X) \to \Omega _DF(\Sigma _CX). \]
Generated from the authoritative LaTeX source.