A theory is categorical if all models of it are isomorphic. In such a case, the theory completely captures the structural essence of what it is trying to describe, characterizing that structure up to isomorphism. Dedekind, for example, had isolated fundamental principles of arithmetic and proved that they characterized the natural numbers up to isomorphism; any two models are isomorphic. In other words, he proved that his theory is categorical.
