Tags
Language
Tags
March 2024
Su Mo Tu We Th Fr Sa
25 26 27 28 29 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6

Model Theory and Topoi

Posted By: step778
Model Theory and Topoi

F.W. Lawvere, C. Maurer, G.C. Wraith, "Model Theory and Topoi"
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