加载中…
We consider the d'ecalage construction and its right adjoint . These functors are induced on the category of simplicial objects valued in any bicomplete category by the ordinal sum. We identify with the path object for any simplicial object . We then use this formula to produce an explicit retracting homotopy for the unit of the adjunction . When is a category of objects of an algebraic nature, we then show that the unit is a weak equivalence of simplicial objects in .

生成讲解博客的中文版本

生成AI智能校验的中文版本