PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • I am a bit confused here -- if the students know any group theory, then they know that if G is a group and H a subgroup, Lagrange's theorem say all cosets of H are in bijection with H, so the map G -> G/H is clearly some sort of fibration -- this would be what I would use for the double cover and the Hopf map.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net