F.W. Lawvere, C. Maurer, G.C. Wraith, "Model Theory and Topoi"
1975 | pages: 349 | ISBN: 3540071644 | PDF | 7,4 mb
1975 | pages: 349 | ISBN: 3540071644 | PDF | 7,4 mb
Part I of this volume consists of three of the first papers on functorial model theory, developing concretely the approach to algebraic logic according to which a "theory" (understood in a sense invariant with respect to various "presentations" by means of particular atomic formulas and particular axioms) is actually a category T having certain properties P and a model of T is any set-valued P - preserving functor. As a rough general principle, one could choose for P any collection of categorical properties which the category of sets satisfies, the choice then determining the "doctrine" of theories of kind P , which is thus a (non-full) subcategory of the category of small categories.
My Links