Category Theory

Invariances and Symmetries in Computer Science

Zoran Majkic

$397.95 $318.13

Hardback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

De Gruyter
06 March 2023

Mathematical logic; Maths for computer scientists

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.

By: Zoran Majkic
Imprint: De Gruyter
Country of Publication: Germany
Dimensions: Height: 240mm, Width: 170mm,
Weight: 859g
ISBN: 9783111080567
ISBN 10: 3111080560
Pages: 436
Publication Date: 06 March 2023
Audience: Professional and scholarly , Undergraduate
Format: Hardback
Publisher's Status: Active

Dr Zoran Majkic He has published more than 80 papers in computer and intelligent systems (see my DBLP record https://dblp.org/pid/66/4092.html ), and two books in Computer Science: 1. Soft Computing Applications in Industry, Copyright © 2008, Springer-Verlag , 386p. ISBN 978-3-540-77465-5, 2. Big Data Integration Theory, Copyright © 2014, XX, Springer-Verlag , 516p. ISBN 978-3-319-04155-1 February 10, 2014 This second book obtained in 2021 four achievements 1. Best book in Database Theory of all times, 2. Best Big Data book of all times 3. Best Computer Science e-Book of all times 4. Best Database Schema book of all times More about my research and academic activities and publishing you can find at my Homepage https://zoranmajkic.webs.com/