Generalization of the concept of variety and quasivariety to partial algebras through category theory [Book] H. Andréka, I. Németi (1983)
Geometric and higher order logic in terms of abstract Stone duality. Taylor, Paul (2000) Theory and Applications of Categories [electronic only]