Monoid图和“身份态素是唯一的”

编程问答 2022-08-13

问题描述

在类别理论：Monoid主题中，我经常观察到这样的解释：

enter image description here

enter image description here

http://yogsototh.github.io/Category-Theory-Presentation/categories.html#slide-28

enter image description here

http://bitterharvest.hatenablog.com/entry/2019/04/18/133250

但是，我了解身份形态是唯一的。

https://proofwiki.org/wiki/Identity_Morphism_is_Unique

所以，我想在同一物体上提供图像多个身份同构是不合适的。

如果我错了，我想念什么？谢谢。

使用JavaScript代码进行编辑： 

  // a is a singleton (any category with a single object)
  const identity = a => a;
  // identity morphism is unique on the cateogory
  console.log(
    identity("")  // "" is identity of Strings
      + identity("H")
      + identity("e")
      + identity("l")
      + identity("l")
      + identity("o")
  );

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）

categoriesjavascriptmonoids