We prove that under reasonable assumptions, every cat (compact abstract theory) is metric, and develop some of the theory of metric cats. We generalise Morley's theorem: if a countable Hausdorff cat T has a unique complete model of density character λ ≥ ω₁, then it has a unique complete model of density character λ for every λ ≥ ω₁.
"Uncountable dense categoricity in cats." J. Symbolic Logic 70 (3) 829 - 860, September 2005. https://doi.org/10.2178/jsl/1122038916