我尝试用JavaScript实现Functor。
Functor的定义图如下：
<a href="https://i.stack.imgur.com/zrivT.png" rel="no
在范畴论中，Functor的概念如下：
<a href="https://ncatlab.org/nlab/show/functor" rel="nofollow noreferrer">https://nca
编程中是否使用了通用函子（不限于endofunctor）？
我了解使用endofunctor的原因是使结构简单，如monoi
我刚才问<a href="https://stackoverflow.com/q/62733726/11143763">this question</a>。关于以下箭头法则：
<pre><code>arr fs
根据Haskell Wiki，
<a href="https://en.wikibooks.org/wiki/Haskell/Category_theory#Category_laws" rel="nofollow noreferrer">htt
我试图确保我使用自然数的基本情况理解初始的代数和同构概念，但我肯定缺少某些东西（而且我的Haske
由于（至少在我看来）这与编程紧密相关，所以我在这里而不是在<a href="https://math.stackexchange.com/">math</a>
<blockquote>
请注意，这个问题与“ endofunctors类别中的monoids”无关。也不是直接与<code>Functor</code>有关（<co
免费的类人动物通常被视为“列表类人动物”。但是，我对其他可能会给我们提供<strong>免费半身像</stro
在Twitter上，克里斯·彭纳（Chris Penner）提出了一个有趣的<a href="https://twitter.com/chrislpenner/status/1307754292238
我是范畴论的初学者，所以这个问题有点模糊。太抱歉了。
等价关系引起“对称类别”（错误的术
<a href="https://www.youtube.com/watch?v=iXZR1v3YN-8" rel="noreferrer">Category Theory 8.2</a>的末尾，Bartosz Milewski展示了一
当我问<a href="https://stackoverflow.com/questions/64380092/what-type-corresponds-to-a-xor-b-in-type-theory">this question</a>时，
<a href="https://ncatlab.org/nlab/show/identity+functor" rel="nofollow noreferrer">https://ncatlab.org/nlab/show/identity+functor</a> </
这实际上是程序员类别理论的挑战＃6-<a href="https://bartoszmilewski.com/2014/11/24/types-and-functions/" rel="nofollow nor
Bartosz Milewski在<a href="https://bartoszmilewski.com/2015/01/07/products-and-coproducts/" rel="noreferrer">Chapter 5</a>的<em> Termi
与类别的数学概念相对应，Haskell具有<a href="http://hackage.haskell.org/package/base-4.8.0.0/docs/Control-Category.html" rel
如果 F 是一个将类别 C 连接到类别 D 的函子，而 G 是一个将类别 C 连接到类别 E 的函子，（并假设两个
我对 <a href="https://bartoszmilewski.com/2015/02/03/functoriality/" rel="nofollow noreferrer">Chapter 8 from <em>Category Theory for P
我想我理解 ⊗ 应用于对象（例如 M ⊗ M）时的含义，但是应用于态射（例如 η⊗1）时它意味着什么。只
