A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos

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

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 ne...

Full description

Saved in:
Bibliographic Details
Main Author: Nourani, Cyrus F (Author)
Format: eBook
Language:English
Published: Toronto ; New Jersey : Apple Academic Press, [2014]
Subjects:
Functor theory.
Model theory.
Functor theory
Model theory
Online Access:Click for online access
Table of Contents:
  • Front Cover; About the Author; Contents; Preface; Chapter 1: Introduction; Chapter 2: Categorical Preliminaries; Chapter 3: Infinite Language Categories; Chapter 4: Functorial Fragment Model Theory; Chapter 5: Algebraic Theories, Categories, and Models; Chapter 6: Generic Functorial Models and Topos; Chapter 7: Models, Sheaves, and Topos; Chapter 8: Functors on Fields; Chapter 9: Filters and Ultraproducts on Projective Sets; Chapter 10: A Glimpse on Algebraic Set Theory; Bibliography.

Similar Items