173,95 €
Versandkostenfrei per Post / DHL
Lieferzeit 1-2 Wochen
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.
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.
1. Catetory, Functor, Natural Transformation.- 2. Equivalence of categories.- 3. Universality and Limits.- 4. Functors and Limits.- 5. Adjoints.- 6. Monads.- 7. Representable Functors.
| Erscheinungsjahr: | 2024 |
|---|---|
| Genre: | Informatik, Mathematik, Medizin, Naturwissenschaften, Technik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Buch |
| Inhalt: |
xi
297 S. 46 s/w Illustr. 2 farbige Illustr. 297 p. 48 illus. 2 illus. in color. |
| ISBN-13: | 9783031685378 |
| ISBN-10: | 3031685377 |
| Sprache: | Englisch |
| Einband: | Gebunden |
| Autor: | Yukita, Shuichi |
| Hersteller: |
Springer
Birkhäuser Springer International Publishing AG |
| Verantwortliche Person für die EU: | Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com |
| Maße: | 241 x 160 x 23 mm |
| Von/Mit: | Shuichi Yukita |
| Erscheinungsdatum: | 07.12.2024 |
| Gewicht: | 0,633 kg |
Ähnliche Produkte
Lieferzeit 1-2 Wochen
Lieferzeit 2-4 Werktage
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Werktage
Lieferzeit 1-2 Wochen
Lieferzeit 2-4 Werktage
Lieferzeit 4-7 Werktage
Lieferzeit 1-2 Wochen
Lieferzeit 2-4 Werktage