Makkai M. and G. E. Reyes (1995). Completeness results for intuitionistic and
modal logic in a categorical setting. Annals of Pure and Applied Logic 72, 25-101.
« A category-theoretic approach to Aristotle’s term logic with special reference to syllogisms • Bi-Heyting Algebras, Toposes and Modalities »