3 Matching Annotations
  1. Last 7 days
    1. Principle (Observables). States for which the value of an observable can becharacterized by a well-defined number are the states that are eigenvectors forthe corresponding self-adjoint operator. The value of the observable in such astate will be a real number, the eigenvalue of the operator.

      What does he mean precisely by "principle"?

  2. Jun 2018
    1. Remark1.73.IfPandQare total orders andf:P!Qand1:Q!Pare drawn witharrows bending as in Exercise 1.72, we believe thatfis left adjoint to1iff the arrows donot cross. But we have not proved this, mainly because it is difficult to state precisely,and the total order case is not particularly general
    2. The preservation of meets and joins, and hence whether a monotone map sustainsgenerative effects, is tightly related to the concept of a Galois connection, or moregenerally an adjunction.