Mathidot

Study note

Category Theory Using Haskell : An Introduction with Moggi and Yoneda

View original Back to list

Properties

Type
Books
Status
想读
Domain
Compilers / PL
Category
编程语言与函数式编程
Source
book.douban.com
Vault note
library/books/compilers/Category-Theory-Using-Haskell-An-Introduction-with-Moggi-and-Yoneda-455f2cd0de7d2207.md

Summary

用 Haskell 示例介绍范畴论，覆盖函子、自然变换、单子、伴随、泛性质、范畴等价等概念，并以理解 Yoneda 引理为主线。

Highlights

把严格数学论证、diagram chasing 和 Haskell 代码结合起来，还连接输出计算、非确定性计算、continuation passing、量子计算和计算基础。

Notes

Shuichi Yukita；2024-12。

Comments

Loading comments...

    Be kind. Basic Markdown is not rendered.