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

£130.11

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

Name: Category Theory Using Haskell: An Introduction with Moggi and Yoneda (Computer Science Foundations and Applied Logic)
Brand: Birkhauser
Price: 130.11 GBP
Availability: InStock

Introduction to Programming

It has never been this cheap. We have no record of a lower price.

£130 today · cheaper than every other day in the last 3 months

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 40 days • 26 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 40 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £130 (25 days, 96.2%)

Price range: £130 - £133

Price levels: 2 different prices over 26 days

Description

This unique book offers an introductory course on category theory, which became a working language in algebraic geometry and number theory in the 1950s and began to spread to logic and computer science soon after it was created. Offering excellent use of helpful examples in Haskell, the work covers (among other things) concepts of functors, natural transformations, monads, adjoints, universality, category equivalence, and many others. The main goal is to understand the Yoneda lemma, which can be used to reverse-engineer the implementation of a function. Later chapters offer more insights into computer science, including computation with output, nondeterministic computation, and continuation passing. Topics and features: Contains rigorous mathematical arguments to support the theory Provides numerous Haskell code-implementing examples Engages with plentiful diagram chasing, with special emphasis on the design patterns for constructing a large diagram out of basic small pieces Offers insights into category theory to quantum computing and the foundation of computing discipline Serves as a preparatory course for monoidal categories and higher categories The work will be useful to undergraduate students in computer science who have enough background in college mathematics such as linear algebra and basics in Haskell polymorphic functions. Further, it will appeal to graduate students and researchers in computing disciplines who want to newly acquire serious knowledge of category theory.

Product Specifications

Brand: Birkhauser
Format: hardcover
ASIN: 3031685377
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 07 December 2024
Listed Since: 04 July 2024

Barcode

No barcode data available

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

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Monoidal Category Theory: Unifying Concepts in Mathematics, Physics, and Computing

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

Category Theory (Oxford Logic Guides): 52

A First Course in Category Theory (Universitext)

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

Category Theory for the Sciences (The MIT Press)

Categories for Types (Cambridge Mathematical Textbooks)

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

Categories for the Working Mathematician: 5 (Graduate Texts in Mathematics, 5)

An Invitation to Applied Category Theory: Seven Sketches in Compositionality

2-Dimensional Categories

Saunders Mac Lane: A Mathematical Autobiography

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

Saunders Mac Lane: A Mathematical Autobiography - CRC Press

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

Starting Category Theory

Categories, Allegories

An Invitation to Applied Category Theory: Seven Sketches in Compositionality

Starting Category Theory

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

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Categories and Computer Science: 28 (Cambridge Computer Science Texts, Series Number 28)

Categories

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity