Kooperativer Bibliotheksverbund

UID:

Umfang: 1 Online-Ressource (XXXI, 404 Seiten).

ISBN: 978-3-11-108167-0 , 978-3-11-108201-1

Inhalt: 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.

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 978-3-11-108056-7

Sprache: Englisch

Fachgebiete: Informatik , Mathematik

DOI: 10.1515/9783111081670

URL: Volltext  (URL des Erstveröffentlichers)

URL: lizenzpflichtig

URL: lizenzpflichtig

URL: Unbekannt

URL: Cover

UID:

Umfang: XXXI, 404 Seiten , Illustrationen , 24 cm x 17 cm, 859 g

Ausgabe: 1

ISBN: 9783111080567 , 3111080560

Anmerkung: Erscheint auch als Online-Ausgabe 9783111081670 (ISBN)

Sprache: Englisch

URL: https://www.degruyter.com/isbn/9783111080567

URL: https://d-nb.info/1277762252/04

UID:

Umfang: 1 online resource (xxxi, 404 pages) : , illustrations

Ausgabe: 1st ed.

ISBN: 9783111082011 , 9783111081670 , 3111081672

Inhalt: 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.

Anmerkung: Frontmatter -- , Preface -- , Dependencies between the chapters -- , Detailed plan -- , Acknowledgments and short history of this book -- , Notation conventions -- , Contents -- , 1 Basic transformations of categories: Hierarchy of n-dimensional levels -- , 2 Comma-propagation transformations: Global categorial symmetries -- , 3 Arrows-to-objects conceptual transformation: Internal categorial symmetry -- , 4 Internal symmetry and logical deduction -- , 5 Internal symmetry and lambda calculus -- , 6 Internal symmetry and theory of processes: Strong bisimulation of computation trees -- , 7 Internal symmetry and data integration theory -- , A Appendix -- , Bibliography -- , Index , Issued also in print. , In English.

Weitere Ausg.: Print version: ISBN 9783111080567

Weitere Ausg.: ISBN 3111080560

Sprache: Englisch

DOI: 10.1515/9783111081670