A remark on the total simplicial set functor
摘要
We prove that for any bisimplicial set X, the natural comparison map between the diagonal dX and the total simplicial set TX is a categorical equivalence in the sense of Joyal and Lurie.