1. Topology and modality: the topological interpretation of first-order modal logic;Awodey;The Review of Symbolic Logic,2008
2. Exact functors and measurable cardinals;Blass;Pacific Journal of Mathematics,1976
3. Gattungen von lokalen Strukturen;Ehresmann;Jahresbericht der Deutschen Mathematiker-Vereinigung,1957
4. Adjoint functors and triples;Eilenberg;Illinois Journal of Mathematics,1965
5. H. Forssell, First-order logical duality, Ph.D. Thesis, Carnegie-Mellon University, 2008.