We provide a partial solution to the problem of defining constructive version Voevodsky's simplicial model Univalent Foundations. For this, we prove counterparts necessary results homotopy theory, building on Kan-Quillen structure established by second-named author. In particular, show that dependent products along fibrations with cofibrant domains preserve fibrations, establish weak equivalenc...