| http://www.w3.org/ns/prov#value | - At this point we could go all mathematical and talk about how compose is like number multiplication, and identity is like the number 1, and then go off into monoids and categories and functors and other things that are frankly boring to me.
|