Category Theory: Invariances and Symmetries in Computer Science - Hardcover

Majkic, Zoran

 
9783111080567: Category Theory: Invariances and Symmetries in Computer Science
Hardcover
ISBN 10: 3111080560 ISBN 13: 9783111080567
Verlag: De Gruyter, 2023

Inhaltsangabe

This book analyzes the generation of the arrow-categories of a given category, which is a foundational and distinguishable Category Theory phenomena, in analogy to the foundational role of sets in the traditional set-based Mathematics, for defi nition of natural numbers as well. This inductive transformation of a category into the infinite hierarchy of the arrowcategories is extended to the functors and natural transformations. The author considers invariant categorial properties (the symmetries) under such inductive transformations. The book focuses in particular on Global symmetry (invariance of adjunctions) and Internal symmetries between arrows and objects in a category (in analogy to Field Theories like Quantum Mechanics and General Relativity). The second part of the book is dedicated to more advanced applications of Internal symmetry to Computer Science: for Intuitionistic Logic, Untyped Lambda Calculus with Fixpoint Operators, Labeled Transition Systems in Process Algebras and Modal logics as well as Data Integration Theory.

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

Über die Autorin bzw. den Autor

Zoran Majkic, International Society for Research in Science and Technology, Tallahassee, Florida, USA.

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

Verlag
De Gruyter
Erscheinungsdatum
2023
Sprache
Englisch
ISBN 10 
3111080560
ISBN 13 
9783111080567
Einband
Tapa dura
Anzahl der Seiten
438
Kontakt zum Hersteller
Walter de Gruyter GmbH
info@degruyter.com

Genthiner Straße 13
Berlin
Berlin
10785
Deutschland