Category Theory Using Haskell

[ebooks1001]

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.


Recommend Download Link Hight Speed | Please Say Thanks Keep Topic Live

[To see links please register or login]

Links are Interchangeable - Single Extraction