Michael Makkai

1939

• Accessible categories
• Duality and definability in first order logic
• First order categorical logic