文件名称：caterwaul:Dhall中的建模类别
文件大小：194KB
文件格式：ZIP
更新时间：2024-04-06 05:23:31
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 →