Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

If we consider metric spaces to be categories enriched over $\mathbb R_{\geq 0}$, the object corresponding to presheaves should be lipschitz-continuous functions $\operatorname{Lip^ 1}(M, \mathbb R_{\geq 0})$. Now there should be an obvious metric on this set; making the Yoneda map $$x\mapsto \operatorname d(-,x)$$ an isometric embedding. What is this metric?

share|cite|improve this question

1 Answer 1

up vote 3 down vote accepted

It is the usual sup metric. See section 2 of Lawvere's original article.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.