Categorical abstract algebraic logic: The largest theory system included in a theory family