I am glad to see that a general question like Is there a relationship between model theory and category theory? receives quite a lot attention and no down-votes for being too general and unspecific. So I feel encouraged to pose some follow-up questions (firstly restricted to first-order model theory).
Preliminaries
I hope the following statements are sufficiently sensible, precise and correct.
Each first-order theory $T$ with signature $sigma$ unambigously defines a class of (ZF-)models.
This class of models of $T$ together with the $sigma$-homomorphisms form a category (the category of models of $T$).
Two first-order theories with two arbitrary signatures may define equivalent categories of models.
Definition: A first-order theory $T$
provides a model of a category $C$ if the
category of models of $T$ is
equivalent to $C$.
- Each category $C$ defines a (possibly empty) set of first-order theories: the set of all $T$ which provide a model of $C$.
Questions
[Remark: I had to work this question over, since it seemed to be ill-posed.]
Old version:
Can infinite concrete categories be specified
other than as categories of (ZF-)models of some (possibly higher-order) theory? Examples?
New version (explicitly restricted to first-order theories):
Given an infinite category of models
of a first-order theory $T$. Can this
category - or one equivalent to it - be
specified/represented/given
independently of any first-order
theory $T$ and its (ZF-)models?
Remark: $T$ of course can be specified/represented/given independently of its models: as a set of formulas.
Why is the notion of models of a (concrete)
category so uncommon? (Maybe because the
answer to the first question is "No"?)
Is there a genuine model-theoretic notion of two
equivalent theories if these have
two arbitrary signatures?
No comments:
Post a Comment