Verwandte Artikel zu A Functorial Model Theory: Newer Applications to Algebraic...

A Functorial Model Theory: Newer Applications to Algebraic Topology, Descriptive Sets, and Computing Categories Topos - Softcover

Nourani, Cyrus F.

 
9781774633106: A Functorial Model Theory: Newer Applications to Algebraic Topology, Descriptive Sets, and Computing Categories Topos
Softcover
ISBN 10: 1774633108 ISBN 13: 9781774633106
Verlag: Apple Academic Press, 2021

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

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.

Von der hinteren Coverseite

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Apple Academic Press
Erscheinungsdatum
2021
Sprache
Englisch
ISBN 10 
1774633108
ISBN 13 
9781774633106
Einband
Taschenbuch
Anzahl der Seiten
302
Kontakt zum Hersteller
preigu GmbH & Co. KG
mail@preigu.de

Lengericher Landstr. 19
Osnabrück
Niedersachsen
49078
Deutschland