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

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	Here the statement is a special case of the following statement: for every sSet-category of the form C FC_F, the pushout of the canonical inclusion C???C FC o C_F along any sSetsSet-functor ??:C???C???\pi : C o C' is C??? ?? !FC'_{\pi_!
http://www.w3.org/ns/prov#wasQuotedFrom	ncatlab.org