A Functorial Model Theory: Newer Applications to Algebraic Topology, Descriptive Sets, and Computing Categories Topos (repost)
Cyrus F. Nourani, "A Functorial Model Theory: Newer Applications to Algebraic Topology, Descriptive Sets, and Computing Categories Topos"
English | ISBN: 1926895924, 1482210681 | 2014 | 302 pages | PDF | 2 MB
English | ISBN: 1926895924, 1482210681 | 2014 | 302 pages | PDF | 2 MB
This book is an introduction to a functorial model theory based on infinitary language categories. The author introduces the properties and foundation of these categories before developing a model theory for functors starting with a countable fragment of an infinitary language. He also presents a new technique for generating generic models with categories by inventing infinite language categories and functorial model theory. In addition, the book covers string models, limit models, and functorial models