##
Model Theory and Category Theory *July 29, 2008*

*Posted by dcorfield in Uncategorized.*

trackback

trackback

David Kazhdan has some interesting things to say about model theory, and in particular its relationship to category theory, in his Lecture notes in Motivic Integration.

In spite of it successes, the Model theory did not enter into a “tool box” of mathematicians and even many of mathematicians working on “Motivic integrations” are content to use the results of logicians without understanding the details of the proofs.

I don’t know any mathematician who did not start as a logician and for whom it was “easy and natural” to learn the Model theory. Often the experience of learning of the Model theory is similar to the one of learning of Physics: for a [short] while everything is so simple and so easily reformulated in familiar terms that “there is nothing to learn” but suddenly one find himself in a place when Model theoreticians “jump from a tussock to a hummock” while we mathematicians don’t see where to “put a foot” and are at a complete loss.

So we have two questions:

- a) Why is the Model theory so useful in different areas of Mathematics?
- b) Why is it so difficult for mathematicians to learn it ?
But really these two questions are almost the same – it is difficult to learn the Model theory since it appeals to different intuition. But exactly this new outlook leads to the successes of the Model theory. One difficulty facing one who is trying to learn Model theory is disappearance of the “natural” distinction between the formalism and the substance. For example the fundamental existence theorem says that the syntactic analysis of a theory [the existence or non-existence of a contradiction] is equivalent to the semantic analysis of a theory [the existence or non-existence of a model].

The other novelty is related to a very general phenomena. A mathematical object never comes in a pure form but always on a definite background. Finding a new way of constructions usually lead to substantial achievements.

For example, a differential manifold is “something” which is locally like a ball. But we almost never construct a differential manifold by gluing it from balls. For a long time the usual way to construct a differential manifold was to realize it at a subvariety of a simple manifold [a sphere, a projective space etc.].

A substantial progress in topology in the last 20 years comes from a “simple observation” due to physicists one can realize a differential manifold as quotient of an “infinite-dimensional submanifold” of a “simple” infinite-dimensional manifold . For example Donaldson’s works on the invariants of differential 4-manifolds are based on the consideration of the moduli space of self-dual connections which is the quotient of the “infinite-dimensional submanifold” of self-dual connections by the gauge group.

This tension between an abstract definition and a concrete construction is addressed in both the Category theory and the Model theory. The Category theory is directed to a removal of the importance of a concrete construction. It provides a language to compare different concrete construction and in addition provides a very new way to construct objects as “representable functors” which allows to construct objects internally. This construction is based on the Yoneda’s lemma which I consider to be most important result of the Category theory.

On the other hand, the Model theory is concentrated on gap between an abstract definition and a concrete construction. Let be a complete theory. On the first glance one should not distinguish between different models of , since all the results which are true in one model of are true in any other model. One of main observations of the Model theory says that our decision to ignore the existence of differences between models is too hasty. Different models of complete theories are of different flavors and support different intuitions. So an attack on a problem often starts which a choice of an appropriate model. Such an approach lead to many non-trivial techniques for constructions of models which all are based on the compactness theorem which is almost the same as the fundamental existence theorem.

On the other hand the novelty creates difficulties for an outsider who is trying to reformulate the concepts in familiar terms and to ignore the differences between models.

So there’s a mathematician looking to model theory. Now for a model theorist reaching out to mathematics. Here’s Angus MacIntyre in *Model theory: Geometrical and set-theoretic aspects and prospects*, The Bulletin of Symbolic Logic Volume 9, 2003, pp. 197–212.

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 affine 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 than anything yet known in “set-theoretic model theory”.

and

Tarski’s set-theoretic foundational formulations are still favoured by the majority of modeltheorists, and evolution towards a more suggestive language has been perplexingly slow. None of the main texts uses in any nontrivial way the language of category theory, far less sheaf theory or topos theory. Given that the most notable interactions of model theory with geometry are in areas of geometry where the language of sheaves is almost indispensable (to the geometers), this is a curious situation, and I find it hard to imagine that it will not change soon, and rapidly.

I think I’m right in saying that the geometric model theory MacIntyre promotes in this article is the kind of model theory which concerns Kazhdan in his notes. If the latter’s right, even if geometric model theory is closer to mainstream maths, it’s still hard to take on the model theoretic mind-set.

MacIntyre ends with some *Prospects*, including

There are various hints in the literature as to categorical foundations for model-theory [21]. The type spaces seem fundamental [28], the models much less so. Now is perhaps the time to give new foundations, with the flexibility of those of algebraic geometry. It now seems to me natural to have distinguished quantifiers for various particularly significant kinds of morphism (proper, étale, flat, finite, etc), thus giving more suggestive quantifier-eliminations. The traditional emphasis on logical generality generally obscures geometrically significant features [19].

and

I sense that we should be a bit bolder by now. There are many issues of uniformity associated with the Weil Cohomology Theories, and major definability issues relating to Grothendieck’s Standard Conjectures. Model theory (of Henselian fields) has made useful contact with motivic considerations, including Kontsevich’s motivic integration [6]. Maybe it has something useful to say about “algebraic geometry over the one element field” [25], ultimately a question in definability theory.

[21] is Lawvere’s *Quantifiers and Sheaves*, Actes Congrès. Intern. Math. 1970, pp. 329-334. I wonder what model theorists think of Makkai and Paré (1989), *Accessible categories: The foundation of Categorical Model Theory*, Contemporary Mathematics, AMS.

More on the relationship between category theory and model theory from Ravi Rajani and Mike Prest Model-theoretic imaginaries and coherent sheaves, 2008:

Shelah seems to be the originator of imaginaries:

but

Model theory and Category theory are also both relevant to structuralist views in the philosophy of maths. Anachronistic as it is, one can discern model-theoretic and structuralist motivation in David Hilbert’s Foundations of Geometry, for example.

I would Like to know, if is there any form of this theory in every domain ? by this, I mean an abstraction in order to operate over concept? linking and compose to uncerstand and evolve? Most of this ideas come from the monoid theory used in computer science.