category-theory

9热度

1回答

为了证明例如类别法律适用于某些数据类型的操作，如何决定如何定义相等？考虑到用于表示布尔表达式如下类型： data Exp = ETrue | EFalse | EAnd Exp Exp deriving (Eq) 是否可行试图证明精通形式与身份为ETrue和运营商类别： (<&>) = EAnd 不需要重新定义式实例？使用默认实例的式的左身份法符，即

26热度

2回答

学习范畴理论的资源

我很快就要学习类别理论。您可以推荐哪些资源来了解它？哪些部分与学习相关，以及如何学习如何应用我的知识？

1热度

1回答

斯卡拉的逆变二进制运算

对于一个非常基本的类别通用模型，我试图以逆变方式得到与一对对象相关的态射。 class Obj[DerivedObj <: Obj[DerivedObj]] { /* ... */ } class Morphism[DerivedMorphism <: Morphism[DerivedMorphism]] { /* ... */ } 我想以某种方式能够定义： def mor(from :

1热度

1回答

NonEmpty不是Comonad？

为什么semigroups包中的NonEmpty列表不是也是comonad类的实例？

16热度

1回答

高阶ScalaCheck

考虑一个类别的定义如下： trait Category[~>[_, _]] { def id[A]: A ~> A def compose[A, B, C](f: A ~> B)(g: B ~> C): A ~> C } 下面是一元函数实例： object Category { implicit def fCat = new Category[Function1

2热度

1回答

JavaScript包的类别理论（或图）图？

我正在寻找能够帮助我编写类别理论图表的Javascript包。基本上，在点之间创建带有标签和箭头的点（其中多于一个箭头可以连接两个点和一个点可以连接到它自己）。此外，还可以指定线条类型（实线/虚线）。具体来说，我想要一些能够自动为我布置元素的东西。我看到了canviz，但显然它需要graphviz预渲染图。我也看到了德古拉，但显然它不能从节点绘制弧线。

10热度

2回答

有人可以解释类型协方差/逆变与类别理论之间的关系吗？

我刚开始阅读有关分类理论，如果有人能够解释CS逆变/协方差和分类理论之间的联系，我将非常感激。什么样的示例类别（即它们的对象/态射是什么？）？提前致谢？

29热度

2回答

可以liftM与liftA不同吗？

根据the Typeclassopedia（其它来源之一），Applicative逻辑Monad和Pointed（因此Functor）之间所属的类型的类层次结构，所以我们非常有这样的事情，如果Haskell的前奏是今天写的： class Functor f where fmap :: (a -> b) -> f a -> f b class Functor f => Pointed

8热度

3回答

Scala - 如何在非函数类型上使用函子？

在阅读函子的描述在此博客： https://hseeberger.wordpress.com/2010/11/25/introduction-to-category-theory-in-scala/ 有函子的一个通用的定义，更具体的一个： trait GenericFunctor[->>[_, _], ->>>[_, _], F[_]] { def fmap[A, B](f: A ->>