On duality and model theory for polyadic spaces

Sam van Gool, Jérémie Marquès

This paper is a study of first-order coherent logic from the point of view of duality and categorical logic. We prove a duality theorem between coherent hyperdoctrines and open pol…