Invariably, for deep reasons, these categorical characterizations use second-order logic, meaning that their fundamental axioms involve quantification not only over the individuals of the domain, but also over arbitrary sets of individuals or relations on the domain.
