数据类别：类别库，上面有类别构造
需积分: 5 9 浏览量
2021-02-04
03:12:15
上传
评论
收藏 44KB ZIP 举报
data-category-master.zip （30个子文件） 
data-category-master 
data-category.cabal 2KB Setup.lhs 75B LICENSE 1KB Data Category Simplex.hs 5KB Enriched.hs 15KB Comma.hs 3KB KanExtension.hs 7KB Constraint.hs 2KB RepresentableFunctor.hs 4KB Adjunction.hs 5KB Coproduct.hs 5KB Dialg.hs 4KB Monoidal.hs 8KB End.hs 2KB Fix.hs 4KB Limit.hs 25KB NaturalTransformation.hs 7KB Functor.hs 7KB Kleisli.hs 2KB Boolean.hs 7KB Void.hs 1KB Product.hs 924B Yoneda.hs 2KB Cube.hs 3KB NNO.hs 2KB CartesianClosed.hs 5KB Unit.hs 625B Category.hs 1KB .gitignore 14B README 744B资源评论
