@FernandoMuro That would be interesting. The simplicial model structure would make it tensored over simplicial sets, so in particular I think this might mean you should be able to construct a functor (K↦ℤ⊗K) on simplicial sets with a natural isomorphism of ℤ⊗(KxL) with (ℤ⊗K)⊗(ℤ⊗L) (though I don't think you need it to preserve the symmetry isomorphism).