Téléchargez le livre : Category Theory Using Haskell

Category Theory Using Haskell

An Introduction with Moggi and Yoneda

de

Éditeur :

Birkhäuser


Paru le : 2024-12-06



eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
210,99 €
Téléchargement immédiat
Dès validation de votre commande
Ajouter à ma liste d'envies
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
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.
Pages
297 pages
Collection
n.c
Parution
2024-12-06
Marque
Birkhäuser
EAN papier
9783031685378
EAN PDF
9783031685385
Informations sur l'ebook
Nombre pages copiables
2
Nombre pages imprimables
29
Taille du fichier
3604 Ko
Ce livre est accessible aux handicaps Voir les informations sur l'accessibilité
Prix
210,99 €
EAN EPUB
9783031685385
Informations sur l'ebook
Nombre pages copiables
2
Nombre pages imprimables
29
Taille du fichier
31416 Ko
Ce livre est accessible aux handicaps Voir les informations sur l'accessibilité
Prix
210,99 €

Shuichi YUKITA was born in 1954. He received the B.S. degree in physics, M.S. degree in mathematics from the University of Tokyo in 1976 and 1978, respectively. He received the Ph.D. degree in information science from Tohoku University, Sendai, Japan in 2000. He is now with the Faculty of Computer and Information Sciences at Hosei University, Japan.

Suggestions personnalisées