PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Notice that u *E=B????? BE???Eu^* E = B' imes_B E o E is the morphism that we want to show is a weak equivalence.
http://www.w3.org/ns/prov#wasQuotedFrom
  • ncatlab.org