Categories with families are algebraic structures which model the general rules of dependent type theory, those which come before the rules for specific type formers, such as \(\Pi\), \(\Sigma\), identity types, universes, etc. In order to model specific type-former corresponding extra structure needs to be added.