Kan subdivision and products of simplicial sets
  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. 
Vegard Fjellbo and John Rognes
math.AT