Kan subdivision and products of simplicial sets
arXiv:1406.6175 · doi:10.1090/S0002-9947-2014-06500-8
Abstract
The canonical map from the Kan subdivision of a product of finite simplicial sets to the product of the Kan subdivisions is a simple map, in the sense that its geometric realization has contractible point inverses.