Homogeneous models and stable diagrams

Some fragment is studied of stability theory in the category of $D$-sets. Conditions are given for existence of $D$-homogeneous models of however large power. A categoricity theorem is proven for the class of $(D,\lambda)$-homogeneous models.