October 4th, 2000

beartato phd


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.