In mathematics, specifically in category theory, a generalized metric space is a metric space but without the symmetry property and some other properties.
[1] Precisely, it is a category enriched over
The notion was introduced in 1973 by Lawvere who noticed that a metric space can be viewed as a particular kind of a category.
The categorical point of view is useful since by Yoneda's lemma, a generalized metric space can be embedded into a much larger category in which, for instance, one can construct the Cauchy completion of the space.
This category theory-related article is a stub.