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

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	An object is a 1-cell $FA o GB$, a morphism is a square with a 2-cell in, and a 2-cell is given by a pair of 2-cells in $K$ that fit into a commuting cylinder (it is pretty obvious if you draw a picture).
http://www.w3.org/ns/prov#wasQuotedFrom	mathoverflow.net