Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I am aware of the profound discussion of the relationship between category theory and model theory (e.g. at The n-Category Café) but do wonder why category theory (CT) is not opposed to model theory (MT) from the very beginnings and firstly on a rather superficial level and why it's mostly set theory to play the "natural" counterpart to category theory (e.g. as a foundation of mathematics).

This is just a loose list of superficial analogies (to be taken with at least two grains of salt):

  1. Theories in MT define classes of structures just as categories do in CT: theories describe structures "from the inside", categories describe structures "from the outside".

  2. The relation of "equal up to isomorphism" (between structures/objects) plays a dominant role both in MT and CT.

  3. There are related notions of equivalence of theories (bi-interpretability) and of categories (equivalence of categories). (Thanks to John Goodrick, who clarified this for me.)

  4. Both CT and MT are strongly related to universal algebra:

    MT = universal algebra + logic (Chang/Keisler),

    CT = a language to further abstract away from the standard notions of universal algebra (Tarlecki)

  5. CT and MT both seem to need set theory to provide concrete models (of theories and categories, resp.).

  6. CT and MT can sometimes do without standard set models and provide typical "self-models":

    CT has "hom-set-models" (→ Yoneda)

    MT has "term-models" (→ Henkin).

  7. David Kazdhan's questions concerning MT:

    a) Why is the Model theory so useful in different areas of Mathematics?

    b) Why is it so difficult for mathematicians to learn it ?

    apply equally well to CT. And also his preliminary answer does:

    One difficultly facing one who is trying to learn Model theory is disappearance of the ”natural” distinction between the formalism and the substance.

  8. First-order theories with an infinite model give rise to arbitrarily large models, their class of models thus - being a proper one - corresponds to a large category.

  9. The name of the important model-theoretic concept "categoricity" is striking. [Addendum: "Category theory provides a notion of 'unique specification’ that is related to categoricity in an interesting way, which remains to be clarified." (Steven Awodey in Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-First-Century Semantics, p. 91)]


The following questions arise naturally:

Question #1: Why are these - admittedly vague - analogies so seldomy discussed in introductory textbooks on both MT and CT (presuming some basic knowledge of the respective other theory)? Even if these analogies are misleading, it would be of help to know the reasons-why early.


Question #2: Which concepts can be translated more or less directly from CT to MT and vice versa? Is there a translation scheme?


Question #3: What are the specific strengths and weaknesses of CT and MT, compared to each other?


Question #4: Can the levels of abstraction of MT and CT be compared?

share|improve this question
7  
As far as I can see, this is not a real question. –  Harry Gindi Jan 29 '10 at 11:40
8  
-1 for vagueness and unanswerability. –  Scott Morrison Jan 29 '10 at 17:02
9  
I agree. Your last three questions, in particular, have the property that "MT" and "CT" could be replaced by almost anything else and still make sense, and questions should not have this property. –  Qiaochu Yuan Jan 29 '10 at 20:00
3  
I don't understand this argument: in every question about any X and Y you can replace X and Y by something else to get another question that makes sense. –  Hans Stricker Jan 29 '10 at 20:33
3  
Really? "Are tomatoes examples of vegetables?" is a far more sensible question than "Are shovels examples of operas?" But all we've done is substitute X and Y for X' and Y'. Qaiochu is saying that the question above doesn't have this property. –  Scott Morrison Jan 31 '10 at 6:28

4 Answers 4

You are comparing apples and organges. Model theory should be compared with categorical logic, not category theory. Conversely, category theory should be compared with algebra, not model theory.

Model theory is the study of set-theoretic models of theories expressed in first-order classical logic. As such it is a particular branch of categorical logic, which is the study of models of theories, without insistence on set theory, first order, or classical reasoning.

share|improve this answer
    
@AndrejBauer I completly agree about the comparison between categorical logic and model theory, but why should category theory be compared with algebra? –  Giorgio Mossa Sep 8 '12 at 16:49
1  
It is just an impression I got from Bill Lawvere. Read his "Down with 'Foundations'! Up with algebra!" at permalink.gmane.org/gmane.science.mathematics.categories/3167, and while you are at it you may also enjoy "Why are we concerned" at permalink.gmane.org/gmane.science.mathematics.categories/3175 and permalink.gmane.org/gmane.science.mathematics.categories/3164 –  Andrej Bauer Sep 9 '12 at 6:55
    
Really cool stuff, thanks. –  Giorgio Mossa Sep 9 '12 at 14:08

I find this a difficult question to answer, but let me try for your Q1. It could be that some people don't feel comfortable promoting vague analogies, or indeed spending time discussing them. Signal-noise ratio, to be blunt. In particular, your point 9 is not really the sort of thing we want to spend time belabouring. Point 7 does not say much about either model theory or category theory; the fact I can't eat rocks or wood says little about the common material composition of either. Point 5 is again an observation that both lions and tables have legs.

There is, I think common ground between ideas from model theory and categorical frameworks; but this is something where the devil is in the detail and not in the blue sky. 'Tis very like a whale, one might say.

In my Philistine opinion, of course.

share|improve this answer
    
@Yemon: Concerning point 9, let me quote Qiaochu from mathoverflow.net/questions/13089/…: "For example, my understanding is that the origin of the term "torsion" to refer to elements of finite order in group theory comes from topology [...]. Isn't this a wonderful story? Why doesn't it get told until so much later?" Why shouldn't that apply to the (assumed) common origin of "categoricity" in MT and "category" in CT? –  Hans Stricker Jan 29 '10 at 10:49
1  
By the way: I do appreciate your answer, even though I do not agree in every point. (I think it's not like comparing rocks and wood or lions and tables when trying to compare MT and CT.) –  Hans Stricker Jan 29 '10 at 11:19
1  
Because it's not important and has next to no mathematical significance aside from being "a neat little thing". The fact that mathematics was one giant but interconnected field preceeds category theory by at least a hundred years. You're never going to learn any mathematics without doing mathematics, and at the moment, you don't appear to be doing mathematics, just gossiping about it. –  Harry Gindi Jan 29 '10 at 11:23
6  
I think part of Yemon's point is that there is probably no common mathematical origin of categoricity and category theory, any more than there is for Baire category. Sometimes your comparisons between subjects seem to verge on the poetic. I should say though that people who say that MT and CT are barely related are dead wrong -- of course they're intimately related, as some posts of yours have indicated. But here's the secret: all mathematical subjects are intimately related: you could stack MT up against, say, differential geometry and still find things to say... –  Pete L. Clark Jan 29 '10 at 11:28
2  
...I think that it is more fruitful to pursue some particular connection between these (or any) two fields than to try to compare one to the other in as general a way as you are trying to do. –  Pete L. Clark Jan 29 '10 at 11:31

I'm not an expert in model theory anyway I'll try to answer your questions.

From what I get your problem come from the fact that both model theory and category theory are related with the study of stuctured objects and morphisms between them. There are categories which aren't at all build up from structured objects and morphisms stucture-preserving, for instance monoids, groups and posets are categories too, and seeing this objects as categories is useful for some applications. Model theory instead deal exactly with models of a theory which are exactly stuctured objects and the stucture preserving morphisms, so it deals with categories of models of given theories (to be exact if I'm not mistaking, model theory also deal with theories' morphisms and derived morphisms between theories' models, but also this can be seen in terms objects and morphism).

After this not too short introduction let's try to answer your questions:

Answer #1: I suppose that the textbook you are referring to were written in time when the deep connection between model theory and category theory weren't well known. Try to take a look to book about categorical logic.

Answer #2: As I said above categories can be viewed as models of a particular (first order) theory, by the way this is not really useful because of the size issues I mentioned above. By the way category theory via notions of categories (with enough structure), functors (preserving the said structure) and natural transformations offer a new way to define the notion of theory, model and model transformation. In this way it become possible to study the notion of model of a theory in any category, where classical model theory become simply the study the theory of models in $\mathbf{Set}$, the category of sets and functions.

Answer #3:I don't know if there's any satisfactory answer to this question, mostly because as I said category theory and model theory are really different theories which aims to study different objects (the first one deal with theories and models, the second with categories, functors and natural transformations, but also other objects if we consider higher category theory as category theory). Maybe it could be more interesting studying the relation between classical (i.e. set theoretic) model theory and categorical model theory, but I don't know enough to talk about this.

Answer #4:If by level of abstraction you mean if one can be consider as a special case of the other I guess the answer is yes and no: you can build a first order theory of categories, functors natural transformation but from another point of view model theory can be completely rephrased in categorical term. Seeing from this point of view the question seems to me very similar to the chicken or the egg causality dilemma, and I don't think it's really useful this point of view, I would never consider group theory just as the study of the models of the theory of groups. :)

I hope this helps.

share|improve this answer

Question #3: What are the specific strengths and weaknesses of CT and MT, compared to each other?

CT probably copes better with objects of infinite nature ?

share|improve this answer
2  
If I understand your remark correctly, you're pointing out a 'weakness' of first-order logic (e.g. it can't adequately describe Banach spaces). However, model theory is not, or should I say no longer, only about first-order logic (e.g. continuous model theory does adequately handle Banach spaces). –  François G. Dorais Jan 29 '10 at 14:05
    
@Francois: I've never heard of CMT, thanks for the hint. Could you - by the way - explain something about Steven Awodeys saying, that "of course, there is no such field of logic as 'higher-order model theory'". This cannot mean that there is no higher-order model theory, can it? What then does "logic as 'higher-order model theory'" mean, and why "of course"? (It's a bit off-topic, but it was you who legitimately brought "other model theories" into play.) –  Hans Stricker Jan 29 '10 at 14:26
2  
But in any case, surely Shelah's work refutes this view? I'm thinking of all the work on categoricity, Morley's conjecture, many model theorems, etc. etc. etc. Also o-minimality, and classical MT notions of saturation, realizing/omitting types, indiscernibility, etc. etc. etc. –  Joel David Hamkins Jan 29 '10 at 14:39
    
@Joel: which view? –  Hans Stricker Jan 29 '10 at 14:43
3  
@Hans: The view expressed in Dvoryansky's answer, that CT copes better with objects of an infinite nature. The connection between models and cardinality is infinitely explored in MT, in a highly sophisticated illuminating way. Indeed, Morley's Conjecture motivated huge parts of MT. –  Joel David Hamkins Jan 29 '10 at 14:47

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.