| http://www.w3.org/ns/prov#value | - In a categorical semantics of a sequent calculus, we have a category of types CC and a hyperdoctrine Sub:C op???PosSub: C^{op} o Pos that assigns to each object cc its subobject lattice, and a map between hyperdoctrines Pred???SubPred o Sub.
|
