Name: Category Theory Invariances and Symmetries in Computer Science (en Inglés)
SKU: 55009746
Price: 184960.00 CLP
Availability: InStock
Author: Majkic, Zoran:
ISBN: 9783111080567

portada Category Theory Invariances and Symmetries in Computer Science (en Inglés)

Category Theory Invariances and Symmetries in Computer Science (en Inglés)

Formato

Libro Físico

Editorial

De Gruyter

Autor

Majkic, Zoran:

Idioma

Inglés

Encuadernación

Tapa Dura

ISBN13

9783111080567

Category Theory Invariances and Symmetries in Computer Science (en Inglés)

Majkic, Zoran: (Autor) · De Gruyter · Tapa Dura

Libro Nuevo Importado

Envío: 13 a 18 días háb.

$ 336.290$ 184.960

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 88 unidades

$ 184.960

Llega entre el 01 Oct y el 08 Oct a Santiago, Región Metropolitana. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Category Theory Invariances and Symmetries in Computer Science (en Inglés)"

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.