Mihály Makkai

Models, logics, and higher-dim

Models, logics, and higher-dimensional categories

2011

Duality and definability in first order logic

1993

Accessible categories

1989

First order categorical logic

1977