方永、南天紫云 · 2024-09-05T02:57:00Z

理解单子是自函子范畴上的幺半群（五）

📝

内容提要

在编程语言中，将所有类型作为对象，它们之间的转换作为态射，形成一个范畴。如果有一组函数可以转换类型并转换类型间的转换，那么这组函数就是函子，是自函子。例如Rust语言中的Option类型就是一个自函子。