论文部分内容阅读
Let L be a lattice of all experimentally verifiable propositions concerning a physical system S.Let B(L) be a category of all Boolean sub-σ-algebras of L.The presheaf P on B(L) is the contravariant functor defined as follows: (1) On objects: For each A ∈B(L),P (A) is the set of all probability measures on A; (2) On morphisms: If iAB: A →B (i.e.,A (∈) B),then P(iAB)∶P(B) → P(A) is defined by P(iAB) (μ) = μ|A,where μ|A denotes the restriction of μ ∈ P(B) to the Boolean sub-σ-algebra A(∈)B.