在试图理解一些概念时,我经常遇到术语“相邻”。这些东西太抽象,我不明白,因为我既不是田野也不是分类理论专家。邻接在实际应用中意味着什么?
我发现的最简单的情况是Monoid Maybe a
实例,该实例的行为往往不像我期望的Nothing
那样。
从Wikipedia我们可以知道,通过将一个元素“邻接”到一个半群,我们可以得到一个不同的Monoid
实例。我不明白这句话,但所给的公式表明,它正是我需要的(而不是默认出于某种原因):
任何半群可以简单地通过不相邻的元素e变成一个独异S和限定Ë•S = S =秒•e计算所有s∈S.
- Doe的 “邻接” 是指相同的至少在这种情况下为 “加入”?
- 这个概念还有其他简单的例子吗?
- 什么是“左伴”的最简单可能的实例?
Haskell中的伴随函数的一个重要用法是monads(en.wikipedia.org/wiki/Monad_(category_theory)):monad是两个这样的函子的组成。 –