Category theory and model theory as "natural" counterparts - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T10:13:44Z http://mathoverflow.net/feeds/question/13358 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/13358/category-theory-and-model-theory-as-natural-counterparts Category theory and model theory as "natural" counterparts Hans Stricker 2010-01-29T08:52:03Z 2012-09-07T20:07:16Z <p>I am aware of the profound discussion of the relationship between category theory and model theory (e.g. at <a href="http://golem.ph.utexas.edu/category/2008/07/category%5Ftheory%5Fand%5Fmodel%5Ftheo.html" rel="nofollow">The n-Category Café</a>) 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).</p> <p>This is just a loose list of superficial analogies (to be taken with at least two grains of salt):</p> <ol> <li><p>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".</p></li> <li><p>The relation of "equal up to isomorphism" (between structures/objects) plays a dominant role both in MT and CT.</p></li> <li><p>There are related notions of equivalence of theories (<a href="http://www.ams.org/notices/200011/fea-pillay.pdf" rel="nofollow">bi-interpretability</a>) and of categories (<a href="http://en.wikipedia.org/wiki/Equivalence%5Fof%5Fcategories" rel="nofollow">equivalence of categories</a>). (Thanks to John Goodrick, who <a href="http://mathoverflow.net/questions/12180/can-infinite-first-order-categories-be-specified-other-than-as-categories-of-mode/13142#13142" rel="nofollow">clarified</a> this for me.) </p></li> <li><p>Both CT and MT are strongly related to universal algebra: </p> <p><em>MT = universal algebra + logic</em> (Chang/Keisler), </p> <p><em>CT = a language to further abstract away from the standard notions of universal algebra</em> (<a href="http://www.mimuw.edu.pl/~tarlecki/teaching/ct/slides/algebras.pdf" rel="nofollow">Tarlecki</a>)</p></li> <li><p>CT and MT both seem to need set theory to provide concrete models (of theories and categories, resp.).</p></li> <li><p>CT and MT can sometimes do without standard set models and provide typical "self-models": </p> <p>CT has "hom-set-models" (&rarr; Yoneda)</p> <p>MT has "term-models" (&rarr; Henkin).</p></li> <li><p>David Kazdhan's <a href="http://www.ma.huji.ac.il/~kazhdan/Notes/motivic/b.pdf" rel="nofollow">questions concerning MT</a>:</p> <p><em>a) Why is the Model theory so useful in different areas of Mathematics?</em></p> <p><em>b) Why is it so difficult for mathematicians to learn it ?</em></p> <p>apply equally well to CT. And also his preliminary answer does:</p> <p><em>One difficultly facing one who is trying to learn Model theory is disappearance of the ”natural” distinction between the formalism and the substance.</em></p></li> <li><p><em>First-order theories with an infinite model</em> give rise to arbitrarily large models, their class of models thus - being a proper one - corresponds to a <em>large category</em>.</p></li> <li><p>The name of the important model-theoretic concept "categoricity" is striking. [<strong>Addendum</strong>: "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 <a href="http://pdfserve.informaworld.com/823285%5F%5F713812213.pdf" rel="nofollow"><em>Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-First-Century Semantics</em></a>, p. 91)]</p></li> </ol> <p><hr /></p> <p>The following questions arise naturally:</p> <blockquote> <p>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.</p> </blockquote> <p><hr /></p> <blockquote> <p>Question #2: Which concepts can be translated more or less directly from CT to MT and vice versa? Is there a translation scheme?</p> </blockquote> <p><hr /></p> <blockquote> <p>Question #3: What are the specific strengths and weaknesses of CT and MT, compared to each other?</p> </blockquote> <p><hr /></p> <blockquote> <p>Question #4: Can the levels of abstraction of MT and CT be compared?</p> </blockquote> http://mathoverflow.net/questions/13358/category-theory-and-model-theory-as-natural-counterparts/13367#13367 Answer by Yemon Choi for Category theory and model theory as "natural" counterparts Yemon Choi 2010-01-29T10:25:27Z 2010-01-29T10:25:27Z <p>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.</p> <p>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.</p> <p>In my Philistine opinion, of course.</p> http://mathoverflow.net/questions/13358/category-theory-and-model-theory-as-natural-counterparts/13370#13370 Answer by Leonid Dworzanski for Category theory and model theory as "natural" counterparts Leonid Dworzanski 2010-01-29T12:08:33Z 2010-01-29T13:56:43Z <blockquote> <p>Question #3: What are the specific strengths and weaknesses of CT and MT, compared to each other?</p> </blockquote> <p>CT probably copes better with objects of infinite nature ?</p> http://mathoverflow.net/questions/13358/category-theory-and-model-theory-as-natural-counterparts/106611#106611 Answer by Giorgio Mossa for Category theory and model theory as "natural" counterparts Giorgio Mossa 2012-09-07T15:22:57Z 2012-09-07T15:22:57Z <p>I'm not an expert in model theory anyway I'll try to answer your questions.</p> <p>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). </p> <p>After this not too short introduction let's try to answer your questions:</p> <p><strong>Answer #1</strong>: 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.</p> <p><strong>Answer #2</strong>: 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.</p> <p><strong>Answer #3</strong>: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.</p> <p><strong>Answer #4</strong>: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. :)</p> <p>I hope this helps.</p> http://mathoverflow.net/questions/13358/category-theory-and-model-theory-as-natural-counterparts/106626#106626 Answer by Andrej Bauer for Category theory and model theory as "natural" counterparts Andrej Bauer 2012-09-07T20:07:16Z 2012-09-07T20:07:16Z <p>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.</p> <p>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.</p>