Talk:PlanetPhysics/Categorical LM Algebraic Logic and Quantum Logic