~ tracking down this book ~
Duality and Definability in First Order Logic by Michael Makkai — OmList