Loading...
Uploaded by TheCatsters on May 19, 2008
The definition of a generalized metric space as an enriched category. The definition of a metric map as an enriched functor.
Science & Technology
Standard YouTube License
Lawvere generalized topological spaces, which arise as categories
enriched in the monoidal category |R| of nonnegative real numbers
with unit 0 and tensor +, are also known in the literature
as quasimetric spaces; see "All Topologies Come From Generalized Metrics"
Ralph Kopperman in The American Mathematical Monthly, Vol. 95, No. 2 (Feb., 1988), pp. 89-97
Kopperman shows that all topological spaces arise from quasimetric spaces, where the quasimetric has values in a "value semigroup."
flengyel 3 years ago
Load more suggestions
Lawvere generalized topological spaces, which arise as categories
enriched in the monoidal category |R| of nonnegative real numbers
with unit 0 and tensor +, are also known in the literature
as quasimetric spaces; see "All Topologies Come From Generalized Metrics"
Ralph Kopperman in The American Mathematical Monthly, Vol. 95, No. 2 (Feb., 1988), pp. 89-97
Kopperman shows that all topological spaces arise from quasimetric spaces, where the quasimetric has values in a "value semigroup."
flengyel 3 years ago