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