| http://www.w3.org/ns/prov#value | - Category theory is used here by no means to suggest that categories are conceptually more basic than sets, but rather to organize and to shed light on the nature of set-theoretic constructions, and on the structure of mathematical logic itself.
|
