{"product_id":"category-theory-invariances-and-symmetries-in-computer-science-9783111080567","title":"Category Theory: Invariances and Symmetries in Computer Science","description":"\u003cp\u003e\u003c\/p\u003e\u003cblockquote\u003e\n\u003cbr\u003eThis book explores the generation of arrow categories, a fundamental concept in Category Theory, and their application to various areas such as Computer Science, Intuitionistic Logic, Untyped Lambda Calculus, Labeled Transition Systems, and Modal logics. It emphasizes invariant categorial properties and their role in understanding and developing these fields. \u003c\/blockquote\u003e\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Hardback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 436 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 06 March 2023\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: De Gruyter\u003cbr\u003e\u003c\/p\u003e \u003cp\u003e\u003cbr\u003eThis comprehensive book delves into the intricate realm of category theory, a fundamental and distinctive branch of mathematics. It explores the generation of arrow categories, a fundamental phenomenon in category theory, akin to the role of sets in traditional set-based mathematics in defining natural numbers. Through an inductive transformation, the book extends this concept to functors and natural transformations, creating an infinite hierarchy of arrow categories. The author also examines invariant categorial properties, such as symmetries, that arise during these transformations.\u003cbr\u003e\u003cbr\u003eThe book specifically focuses on global symmetry, which ensures the invariance of adjunctions, and internal symmetries between arrows and objects within a category, drawing parallels to field theories like quantum mechanics and general relativity. In the second part of the book, the author delves into advanced applications of internal symmetry to computer science. These applications encompass intuitionistic logic, untyped lambda calculus with fixpoint operators, labeled transition systems in process algebras, modal logics, and data integration theory.\u003cbr\u003e\u003cbr\u003eBy unraveling the complexities of category theory, this book offers valuable insights into the foundations of mathematics and its applications in computer science. It serves as a valuable resource for researchers and students alike, providing a deep understanding of this important branch of mathematics.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eWeight\u003c\/strong\u003e: 859g\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 240 x 170 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783111080567\u003c\/p\u003e","brand":"Zoran Majkic","offers":[{"title":"Hardback","offer_id":44311999512826,"sku":"9783111080567","price":146.61,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/products\/noImage_1_d8f373d0-5738-4eb3-be65-0320cf03f1a9.jpg?v=1688292502","url":"https:\/\/shulphink.com\/products\/category-theory-invariances-and-symmetries-in-computer-science-9783111080567","provider":"Shulph Ink","version":"1.0","type":"link"}