| http://www.w3.org/ns/prov#value | - Even if one chooses to look just at the simplicial sheaves their domain is a version of the dg-category of, or the Quillen model category of the derived affine schemes which is, by the definition, the opposite of the category of unbounded commutative differential algebras (with certain model structure).
|
