Category Theory Using Haskell

Name: Category Theory Using Haskell
Brand: Springer, Berlin
SKU: 9783031685378
Price: 75349 HUF
Availability: InStock

An Introduction with Moggi and Yoneda

Szerző: Shuichi Yukita

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 10-13 napon belül

75 349 Ft

This unique book offers an introductory course on category theory, which became a working language i...

Információk a könyvről

Szerző

Shuichi Yukita

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2024

oldal

315

EAN

9783031685378

Enbook ID

46549920

Kiadó

Springer, Berlin

Súly

578

Méretek

155 x 235

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Category Theory Using Haskell

An Introduction with Moggi and Yoneda

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták