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 |
| Summary: | 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 Languages Generic Functors and Language String Models Functorial Morphic Ordered Structure Models Chapter Exercises Functorial Morphic Ordered Structure Models Functorial Fragment M. |
|---|---|
| Physical Description: | 1 online resource (296 pages) |
| Bibliography: | Includes bibliographical references. |
| ISBN: | 9781482231502 1482231506 |