| http://www.w3.org/ns/prov#value | - If C is a locally small category and W is a class of morphisms, we could try to form a category C[W-1] by formally inverting the morphisms in W. The resulting category has the same objects as C, and it is sort of clear what the morphisms should be: some kind of zigzags of morphisms, where the backwards morphisms are required to be in W, modulo some equivalence relation (so that the backwards morp
|
