18
$\begingroup$

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?

$\endgroup$
12
  • 9
    $\begingroup$ As far as I can see, this is not a real question. $\endgroup$ Jan 29, 2010 at 11:40
  • 10
    $\begingroup$ -1 for vagueness and unanswerability. $\endgroup$ Jan 29, 2010 at 17:02
  • 10
    $\begingroup$ 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. $\endgroup$ Jan 29, 2010 at 20:00
  • 7
    $\begingroup$ 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. $\endgroup$ Jan 29, 2010 at 20:33
  • 7
    $\begingroup$ 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. $\endgroup$ Jan 31, 2010 at 6:28

5 Answers 5

16
$\begingroup$

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.

$\endgroup$
2
7
$\begingroup$

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.

$\endgroup$
9
  • 1
    $\begingroup$ 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.) $\endgroup$ Jan 29, 2010 at 11:19
  • 2
    $\begingroup$ 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. $\endgroup$ Jan 29, 2010 at 11:23
  • 8
    $\begingroup$ 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... $\endgroup$ Jan 29, 2010 at 11:28
  • 3
    $\begingroup$ ...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. $\endgroup$ Jan 29, 2010 at 11:31
  • 1
    $\begingroup$ (s/preceeds/precedes/)* I'm sure my statement in my actual answer was a little strong, but Hans isn't mentioning very deep relationships. Half of his points are word-games. Some of the others are general statements about mathematics. It' not only in category theory and model theory where we want to study objects up to isomorphism. In fact, that's the whole point of isomrphism. That idea, in fact, was one of the motivating principles of Bourbaki, who was active for ten to fifteen years before the discovery of category theory. $\endgroup$ Jan 29, 2010 at 11:39
3
$\begingroup$

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.

$\endgroup$
1
$\begingroup$

(Sorry for bumping this to the top. I should have checked the date it was posted and just simply let it lie.)

Really, the question makes no sense to me. A few points, in no particular order:

  1. We may consider models of a classical first-order theory $T$ in any Boolean category. So there's really no sense in contrasting model theory with category theory; the former studies models of first-order theories in $\mathbf{Set}$, while the latter gives you the tools to study first-order models in much more general contexts. I don't see the contrast; as others have said, these are apples and oranges.

  2. If we're going to study a theory $T$, then morphisms between models of $T$ should be assumed to preserve everything that can be expressed in the language of $T$. For example, if $T$ is an algebraic theory, we should consider homomorphisms between $T$-models. If $T$ is a first-order theory, then we should consider elementary embeddings between $T$-models. In fact (although I admit to not having much knowledge in this area), I think that category theory usually chooses the morphisms for you, automatically. For example, if $L$ is an Lawvere theory and $X,Y : L \rightarrow \mathbf{C}$ are models of $L$ in a finite product category $\mathbf{C}$, then a homomorphism $\varphi : X \rightarrow Y$ is just a natural transformation $X \Rightarrow Y$. We don't really get much choice in the matter!

  3. Let me expand on the above point a little. If $T$ is a first-order theory in the language of $\{\in\}$ and $X$ and $Y$ are $T$-models, then there is nothing natural about functions $f : X \rightarrow Y$ satisfying $x \in y \rightarrow f(x) \in f(y)$. Remember, $T$ is best viewed as a first-order theory, not as some particular presentation for that theory! The fact that we decided to axiomatize $T$ using the signature $\{\in\},$ rather than $\{\subseteq,x \mapsto \{x\}\}$ or something else entirely, is irrelevant, and in any reasonable definition of "first-order theory", the theory $T$ would not "remember" how it was defined. So we really do have to preserve all the structure that $T$ can express; we don't get a choice in the matter.

  4. Let $\mathsf{AlgGrp}$ denote the algebraic theory of groups. Let $\mathsf{1stGrp}$ denote the 1st-order theory freely generated by $\mathsf{AlgGrp}$, whatever that means. Write $\mathbf{AlgGrp}$ and $\mathbf{1stGrp}$ for the corresponding categories of models in $\mathbf{Set}$. Then there is a forgetful functor $\mathbf{1stGrp} \rightarrow \mathbf{AlgGrp}.$ It is faithful and surjective on objects. But it is not full.

  5. On the other hand, if $T$ is an algebraic theory and $F(T)$ denotes the coherent theory freely generated by $T$, then (someone correct me if I'm wrong here) the corresponding categories of models in $\mathbf{Set}$ should be equivalent.

  6. Category theory isn't inherently restricted to studying well-behaved categories, in much the same way as order-theory isn't inherently restricted to studying lattice-orders. Its harder if your category is missing lots of limits and colimits, etc. - just like its harder to understand a poset thats missing most of its meets and joins - but it can be done. The fact that categories like $\mathbf{1stGrp}$ whose morphisms are elementary embeddings lack most limits and colimits doesn't make them impossible to study. Although of course, the kinds of results you can expect to prove are different. Your theorems will end up "feeling" much more model-theoretic than algebraic, but you can still use category theory to prove them.

  7. Let me just reiterate that category theory is bigger than algebra. True, its most successful application domain is (currently) in algebra, but as it matures, it will begin to be used more-and-more frequently to study categories of models of much more expressive theories than algebraic theories.

$\endgroup$
-1
$\begingroup$

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 ?

$\endgroup$
5
  • 3
    $\begingroup$ 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). $\endgroup$ Jan 29, 2010 at 14:05
  • $\begingroup$ @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.) $\endgroup$ Jan 29, 2010 at 14:26
  • 3
    $\begingroup$ 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. $\endgroup$ Jan 29, 2010 at 14:39
  • $\begingroup$ @Joel: which view? $\endgroup$ Jan 29, 2010 at 14:43
  • 4
    $\begingroup$ @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. $\endgroup$ Jan 29, 2010 at 14:47

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