A Fixed Point Theorem in a Category of Compact Metric Spaces