Duality and definability in first order logic - Makkai, Michael (1993)