Let $L$ be a first order language and let $S$ be a set of $L$ -sentences. If $\kappa$ is a cardinal, then $S$ is said to be $\kappa$ -categorical if $S$ has a model of cardinality$\kappa$ and any two such models are isomorphic.
In other words, $S$ is categoricaliff it has a unique model of cardinality $\kappa$ , to within isomorphism.