Functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos / Cyrus F. Nourani.

Includes bibliographical references (pages 257-284) and index.

1. Introduction --
2. Categorical preliminaries --
3. Infinite language categories --
4. Functional fragment model theory --
5. Algebraic theories, categories and models --
6. Generic functional models and topos --
7. Models, sheaves, and topos --8. Functors on fields --
9. Filters and ultraproducts on projective sets --
10. A glimpse on algebraic set theory--
Bibliography--
Index.

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.