Functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos / Cyrus F. Nourani.
Material type:
TextPublication details: Toronto : Apple Academic Press, c2014.Description: 292 p. ; 24 cmISBN: - 9781926895925 (bound)
- 512.62 23 N931
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata | 512.62 N931 (Browse shelf(Opens below)) | Available | 135711 |
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 512.62 G481 From objects to diagrams for ranges of functors | 512.62 L531 Basic category theory / | 512.62 L821 Algebraic operads | 512.62 N931 Functorial model theory : | 512.62 Sp761 Category theory for the sciences / | 512.62 T929 Monoidal categories and topological field theory / | 512.6202855133 B595 Analysis of categorical data with R/ |
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.
There are no comments on this title.
