| http://www.w3.org/ns/prov#value | - OK, so what is a categorified metric space?Here we can follow Lawvere, it is done a lot to develop the thesis that everything is a category. (I am exaggerating, but see the first page proper of his metric spaces paper.) If a thing can be regarded some kind of category, that increases our chances of being able to perform some useful sort of categorification.
|
