【文件属性】：
文件名称：caterwaul:Dhall中的建模类别
文件大小：194KB
文件格式：ZIP
更新时间：2021-03-17 11:36:51
category-theory dhall Dhall
哭到范畴论的原始渗入中。
这需要Dhall 1.18或1.20+（在Dhall 1.19上不起作用）。
概述
从根本上讲，这里几乎没有东西
Adjunction
Semigroup ， Monoid ， Group和Semilattice （具有可交换和有序变体）
Functor
左右Kan扩展名（ Lan和Ran ）
一些基本类型（ Compose ， Either ， Identity ， Tuple ）可以为特定的monoid建模
其他许多类型也被定义为专业化
Functor → Bifunctor ， Endofunctor ， Profunctor
Group → Groupoid
Monoid → Category ， Comonad ， Comonoid ， Monad
Semigroup → Cosemigroup ， Semigroupoid
Lan →