| http://www.w3.org/ns/prov#value | - Then it is straightforward to check that a morphism is an isomorphism if it is a set-theoretic bijection ??? morphisms allow gluing and cutting.Or replace the word affine with polynomial and thus recover the notion of "semi-algebraic set.
|
