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 lambda >= omega(1), then it has a unique complete model of density character lambda for every lambda >= omega(1).