Conditions for a realization functor to commute with finite products

Sea ∆ la categoría de conjuntos [n] = {O,1,2, ... ,n} con funciones monótonas como morfismos; ∆o S la categoría de conjuntos simpliciales (funtores contravariantes ∆ → Sets y Y: ∆ → Top el funtor que envía [n] a ∆ (n), el n-simplejo canónico de R n+1, entonces es bien sabido como construir un par...