Category Theory: Invariances and Symmetries in Computer Science - Image 1

£143.95

De Gruyter Category Theory: Invariances and Symmetries in Computer Science

Name: Category Theory: Invariances and Symmetries in Computer Science
Brand: De Gruyter
Price: 143.95 GBP
Availability: InStock

AI & Machine Learning

This is the most expensive it has ever been. Walk away.

£144 today · previous high £144 · all-time low £137

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 83 days · 83 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 83 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £144 (50 days, 60.2%)

Price range: £137 - £144

Price levels: 2 different prices over 83 days

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.

Product Specifications

Brand: De Gruyter
Format: hardcover
ASIN: 3111080560
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 06 March 2023
Listed Since: 16 January 2023

Barcode

No barcode data available

De Gruyter Category Theory: Invariances and Symmetries in Computer Science

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Category Theory: No. 49 (Oxford Logic Guides)

LMS: 177 Applications of Categories: Proceedings of the London Mathematical Society Symposium, Durham 1991 (London Mathematical Society Lecture Note Series, Series Number 177)

Categories for Types (Cambridge Mathematical Textbooks)

Category Theory Using Haskell: An Introduction with Moggi and Yoneda (Computer Science Foundations and Applied Logic)

Higher Dimensional Categories: From Double To Multiple Categories

Basic Category Theory: 143 (Cambridge Studies in Advanced Mathematics, Series Number 143)

Introduction to Higher-Order Categorical Logic: 7 (Cambridge Studies in Advanced Mathematics, Series Number 7)

Category Theory: 52 (Oxford Logic Guides)

Categories, Allegories

Birkhauser An Introduction to the Language of Category Theory

An Introduction to Category Theory

Handbook of Categorical Algebra: Volume 1, Basic Category Theory: 50 (Encyclopedia of Mathematics and its Applications, Series Number 50)

Categorical Logic and Type Theory: Volume 141 (Studies in Logic and the Foundations of Mathematics, Volume 141)

Elements of ∞-Category Theory: 194 (Cambridge Studies in Advanced Mathematics, Series Number 194)

Homotopy Theory of Higher Categories: From Segal Categories to n-Categories and Beyond (New Mathematical Monographs): 19 (New Mathematical Monographs, Series Number 19)

A First Course in Category Theory (Universitext)

Category Theory (Oxford Logic Guides): 52

Category Theory and Applications: A Textbook for Beginners: 1 (Category Theory Homological Al)

Category Theory And Applications: A Textbook For Beginners (second Edition)

Category Theory for the Sciences (The MIT Press)

From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory: 14 (Logic, Epistemology, and the Unity of Science, 14)

From Categories to Homotopy Theory: 188 (Cambridge Studies in Advanced Mathematics, Series Number 188)

From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory: 14 (Logic, Epistemology, and the Unity of Science, 14)

Handbook of Categorical Algebra: Categories and Structures v. 2 (Encyclopedia of Mathematics and its Applications 51)