Uncountable dense categoricity in cats

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 λ ≥ ω.