| http://www.w3.org/ns/prov#value | - If CC is an inverse category and x???Cx\in C an object, then xx represents one geometric shape appearing in the structures under consideration, while all of the morphisms out of xx indicate the lower-dimensional ???faces??? of such a shape, i.e. the ???boundary??? which it fills.
|
