文件名称：kancepts:extension扩展探索
文件大小：5KB
文件格式：ZIP
更新时间：2024-04-25 04:01:22
Haskell
关西（WIP） Kan扩展的概念包含了范畴论的所有其他基本概念。 -Saunders Mac Lane ， 《工作数学家》类别 我尝试使用kan扩展来推导一些基本定理。 我从data-category获得了一些有关类别和函子编码的启发。
【文件预览】：
kancepts-main
----README.md(352B)
----Kancepts.hs(16KB)
----.gitignore(5B)