Diagonal Lemma for Presheaves on Eilenberg-Zilber Categories
arXiv:2306.02217
Abstract
The diagonal lemma asserts that if a map of bisimplicial sets is a levelwise weak equivalence in the Kan-Quillen model structure, then it induces a weak equivalence of the diagonal simplicial sets. In this short note, we observe that the standard proof of this fact works for an arbitrary Eilenberg-Zilber category in place of the simplex category.
version accepted for publication