| http://www.w3.org/ns/prov#value | - This is fine, with Choice, if k is a field (i.e. we are working with vector spaces and usual algebras) but does not hold in general; and really what makes things work is that every object of Vect is projective in the presence of Choice, i.e. you always have a linear section.
|
