Jason (jcreed) wrote,
Jason
jcreed

-

Hm, metrized categories?
A metric d which maps arrows to reals,
and d(g o f) = d(g) + d(f)
and d(f) = 0 <=> f = 1_{dom f} ?
A metric space is then a groupoid.
How is a homotopy structure in a metric
space interpreted?

Got some work on topo paper done.
Up to 10ish half-empty pages.
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments