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

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	It is a fact that any model of an algebraic theory whose underlying set is a singleton must be a terminal object in the corresponding category of models.
http://www.w3.org/ns/prov#wasQuotedFrom	mathoverflow.net