Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures

Yoshihiro Maruyama

Categorical Universal Logic is a theory of monad-relativised hyperdoctrines (or fibred universal algebras), which in particular encompasses categorical forms of both first-order an…