| http://www.w3.org/ns/prov#value | - Set theory is an analytic approach (element-wise) and can reproduce category theory by simply defining all the concepts in the usual way, as long as one include a technique to handle large categories (for instance by using classes instead of sets, or by including as an axiom that an uncountable inaccessible cardinal exists or even that Grothendieck universes exist).
|
