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

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	This paper is a real joy to read, and how all sort of nerve theorems can be viewed as an instance of the equiv between a monad with arities and the corresponding (generalized) algebraic theory is just wonderful!
http://www.w3.org/ns/prov#wasQuotedFrom	mathoverflow.net