About: http://webisa.webdatacommons.org/208231058

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	The hom functor takes your source and target types S and T to the type of a function with input S and output T. Or is it that you are used to not allowing functions full citizenship?
http://www.w3.org/ns/prov#wasQuotedFrom	mathoverflow.net