show/hide this revision's text 2 fixed typo; improved formatting

There certainly is. Last year there was a largeish conference in Durham, New Directions in the Model Theory of Fields, which had the connections between model theory and category theory as its "second theme".

Perhaps the talk most relevant to your question was that of Martin Hyland, Categorical Model Theory. You can see a video on the website, but unfortunately it seems to start part-way through the talk. Anyway, he started by saying that everything he was going to explain was known in 1982, which perhaps was a reference to Makkai-Pare (as mentioned by Mike Shulman and F.G. Dorais) and that era.

A distinguished, but non-categorical, logician who seems to be strongly support categorical model theory is Angus Macintyre. Here's his introduction to 'Model theory: geometrical and set-theoretic aspects and prospects', Bulletin of Symbolic Logic 9 (2003):

"

I see model theory as becoming increasingly detached from set theory, and the Tarskian notion of set-theoretic model being no longer central to model theory. In much of modern mathematics, the set-theoretic component is of minor interest, and basic notions are geometric or category-theoretic. In algebraic geometry, schemes or algebraic spaces are the basic notions, with the older "sets of points in affined or projective space" no more than restrictive special cases. The basic notions may be given sheaf-theoretically, or functorially. To understand in depth the historically important affine cases, one does best to work with more general schemes. The resulting relativization and "transfer of structure" is incomparably more flexible and powerful then anything yet known in "set-theoretic model theory".

"

It seems to me now uncontroversial to see the fine structure of definitions as becoming the central concern of model theory, to the extent that one can easily imagine the subject being called "Definability Theory" in the near future."future.

show/hide this revision's text 1

There certainly is. Last year there was a largeish conference in Durham, New Directions in the Model Theory of Fields, which had the connections between model theory and category theory as its "second theme".

Perhaps the talk most relevant to your question was that of Martin Hyland, Categorical Model Theory. You can see a video on the website, but unfortunately it seems to start part-way through the talk. Anyway, he started by saying that everything he was going to explain was known in 1982, which perhaps was a reference to Makkai-Pare (as mentioned by Mike Shulman and F.G. Dorais) and that era.

A distinguished, but non-categorical, logician who seems to be strongly support categorical model theory is Angus Macintyre. Here's his introduction to 'Model theory: geometrical and set-theoretic aspects and prospects', Bulletin of Symbolic Logic 9 (2003):

"I see model theory as becoming increasingly detached from set theory, and the Tarskian notion of set-theoretic model being no longer central to model theory. In much of modern mathematics, the set-theoretic component is of minor interest, and basic notions are geometric or category-theoretic. In algebraic geometry, schemes or algebraic spaces are the basic notions, with the older "sets of points in affined or projective space" no more than restrictive special cases. The basic notions may be given sheaf-theoretically, or functorially. To understand in depth the historically important affine cases, one does best to work with more general schemes. The resulting relativization and "transfer of structure" is incomparably more flexible and powerful then anything yet known in "set-theoretic model theory".

"It seems to me now uncontroversial to see the fine structure of definitions as becoming the central concern of model theory, to the extent that one can easily imagine the subject being called "Definability Theory" in the near future."