{"title":"Zoran Majkic","description":null,"products":[{"product_id":"category-theory-book-zoran-majkic-9783111080567","title":"Category Theory","description":"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.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51067386003729,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51067387412753,"sku":"NIN9783111080567","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52669888758033,"sku":"NLS9783111080567","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3111080560.jpg?v=1750837601"},{"product_id":"intensional-first-order-logic-book-zoran-majkic-9783110994940","title":"Intensional First-Order Logic","description":"This book introduces the properties of conservative extensions of First Order Logic (FOL) to new Intensional First Order Logic (IFOL). This extension allows for intensional semantics to be used for concepts, thus affording new and more intelligent IT systems. Insofar as it is conservative, it preserves software applications and constitutes a fundamental advance relative to the current RDB databases, Big Data with NewSQL, Constraint databases, P2P systems, and Semantic Web applications. Moreover, the many-valued version of IFOL can support the AI applications based on many-valued logics.","brand":"WoB","offers":[{"title":"US \/ NEW \/ INGRAM","offer_id":51243219747089,"sku":"NIN9783110994940","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52142489895185,"sku":"NLS9783110994940","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3110994941.jpg?v=1751094528"},{"product_id":"big-data-integration-theory-book-zoran-majkic-9783319041551","title":"Big Data Integration Theory","description":"This book presents a novel approach to database concepts, describing a categorical logic for database schema mapping based on views, within a framework for database integration\/exchange and peer-to-peer. Database mappings, database programming languages, and denotational and operational semantics are discussed in depth. An analysis method is also developed that combines techniques from second order logic, data modeling, co-algebras and functorial categorial semantics. Features: provides an introduction to logics, co-algebras, databases, schema mappings and category theory; describes the core concepts of big data integration theory, with examples; examines the properties of the DB category; defines the categorial RDB machine; presents full operational semantics for database mappings; discusses matching and merging operators for databases, universal algebra considerations and algebraic lattices of the databases; explores the relationship of the database weak monoidal topos w.r.t. intuitionistic logic.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":52500812366097,"sku":"NGR9783319041551","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":53534183850257,"sku":"NLS9783319041551","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319041551.jpg?v=1760138956"},{"product_id":"big-data-integration-theory-book-zoran-majkic-9783319355399","title":"Big Data Integration Theory","description":"This book presents a novel approach to database concepts, describing a categorical logic for database schema mapping based on views, within a framework for database integration\/exchange and peer-to-peer. Database mappings, database programming languages, and denotational and operational semantics are discussed in depth. An analysis method is also developed that combines techniques from second order logic, data modeling, co-algebras and functorial categorial semantics. Features: provides an introduction to logics, co-algebras, databases, schema mappings and category theory; describes the core concepts of big data integration theory, with examples; examines the properties of the DB category; defines the categorial RDB machine; presents full operational semantics for database mappings; discusses matching and merging operators for databases, universal algebra considerations and algebraic lattices of the databases; explores the relationship of the database weak monoidal topos w.r.t. intuitionistic logic.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":53522442879249,"sku":"NLS9783319355399","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319355399.jpg?v=1778458346"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/author-books-by-zoran-majkic.oembed","provider":"World of Books ","version":"1.0","type":"link"}