Coalgebraic and Categorical Quantum Logic in Oxford