Categories With Dependence and Semantics of Dependent Types