Free Download Category Theory Using Haskell: An Introduction with Moggi and Yoneda
English | 2025 | ISBN: 3031685377 | 301 Pages | PDF (True) | 3.4 MB
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.
Code:
Bitte
Anmelden
oder
Registrieren
um Code Inhalt zu sehen!
