(ver Escardó, Simpson sobre ½x + ½y y), lo que es más importante, soluciona el problema de la categoría métrica: los morfismos métricos son funciones cortas (o contracciones débiles o 1-Lipschitz); hasta ahora, todo bien.