理解单子是自函子范畴上的幺半群(三)

💡 原文中文,约400字,阅读约需1分钟。
📝

内容提要

幺半群是一种数学结构,具有集合和二元运算,满足封闭性和结合律,还可以包含单位元。

🎯

关键要点

  • 幺半群是一种数学结构,包含集合和二元运算。
  • 幺半群的二元运算需满足封闭性和结合律。
  • 幺半群还需包含单位元。
  • 群的定义包括封闭性、结合律、单位元和逆元。
  • 半群只需满足封闭性和结合律,不要求单位元和逆元。
  • 若半群的二元运算满足单位元,则称为幺半群。
➡️

继续阅读