| http://www.w3.org/ns/prov#value | - If (f i:U i???U) i(f_i:U_i o U)_i is a covering family and g:V???Ug:V o U is a morphism, then there exists a covering family (h j:V j???V) j(h_j:V_j o V)_j such that each composite gh jg h_j factors through some f if_i, up to isomorphism.
|
