Alert icon
We're changing our privacy policy. This stuff matters.  Learn more  Dismiss

Metric spaces and enriched categories 2

Loading...

Sign in or sign up now!
2,739
Loading...
Alert icon
Sign in or sign up now!
Alert icon

Uploaded by 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.

Category:

Science & Technology

Tags:

License:

Standard YouTube License

  • likes, 1 dislikes

Link to this comment:

Share to:
see all

All Comments (1)

Sign In or Sign Up now to post a comment!
  • 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."

Loading...
0 / 00Unsaved Playlist Return to active list
    1. Your queue is empty. Add videos to your queue using this button:
      or sign in to load a different list.
    Loading...Loading...Saving...
    • Clear all videos from this list
    • Learn more