the framework of distinguished categories. This includes commutative algebraic groups and
mixed Shimura varieties. It allows us to define all basic concepts of the field and prove some
fundamental facts about them, eg the defect condition. In some categories that we call very
distinguished, we are able to show some implications between Zilber-Pink statements with
respect to base change. This yields unconditional results, ie the Zilber-Pink conjecture for a …