A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos /
Introduction Categorical Preliminaries Categories and Functors Morphisms Functors Categorical Products Natural Transformations Products on Models Preservation of Limits Model Theory and Topoi More on Universal Constructions Chapter Exercises Infinite Language Categories Basics Limits and Infinitary...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Waretown, NJ :
Apple Academic Press, Incorporated,
[2014]
|
| Edition: | First edition. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- Introduction
- Categorical preliminaries
- Infinite language categories
- Functional fragment model theory
- Algebraic theories, categories and models
- Generic functional models and topos
- Models, sheaves, and topos
- Functors on fields
- Filters and ultraproducts on projective sets
- A glimpse on algebraic set theory.