| http://www.w3.org/ns/prov#value | - for whatever it???s worth, the starting point of the entry and discussion here was an attempt to point out to the purely pure category theorist how (???,1)(\infty,1)-category theory has a nice pure conceptual category theoretic formulation that does not rely on concrete models, but just uses these when convenient.
|