A Functorial Model Theory
Newer Applications to Algebraic Topology, Descriptive Sets, and Computing Categories Topos
1st Edition
Published on 19. April 2016
302 pages
978-1-4822-3150-2 (ISBN)
Description
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 cat
More details
Edition
1. Auflage
Language
English
Place of publication
London
United Kingdom
Publishing group
Taylor & Francis Ltd
Target group
College/higher education
Professional and scholarly
Illustrations
25 s/w Abbildungen
25 b/w images
File size
3,24 MB
ISBN-13
978-1-4822-3150-2 (9781482231502)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Cyrus F. Nourani
A Functorial Model Theory
Newer Applications to Algebraic Topology, Descriptive Sets, and Computing Categories Topos
Book
03/2021
1st Edition
Apple Academic Press Inc.
€106.90
Shipment within 3-4 weeks
Cyrus F. Nourani
A Functorial Model Theory
Newer Applications to Algebraic Topology, Descriptive Sets, and Computing Categories Topos
Book
02/2014
1st Edition
Apple Academic Press Inc.
€173.40
Shipment within 3-4 weeks
Person
Dr. Cyrus F. Nourani is a consultant in computing R&D and a research professor at Simon Fraser University. He has many years of experience in the design and implementation of computing systems and has authored/coauthored several books and over 350 publications in mathematics and computer science. He has also held faculty positions at numerous institutions, including the University of Michigan, University of Pennsylvania, University of Auckland, UCLA, and MIT. His research interests include computer science, artificial intelligence, mathematics, virtual haptic computation, information technology, and management.
Content
Introduction. Categorical Preliminaries. Infinite Language Categories. Functorial Fragment Model Theory. Algebraic Theories, Categories, and Models. Generic Functorial Models and Topos. Models, Sheaves, and Topos. Functors on Fields. Filters and Ultraproducts on Projective Sets. A Glimpse on Algebraic Set Theory. Index.
