文章 "MQL5 中的范畴论 (第 5 部分)：均衡器"

MetaQuotes 2023.09.01 11:15

范畴论是数学的一个多样化和不断扩展的分支，直到最近才在 MQL5 社区中得到一些报道。这些系列文章旨在探索和验证一些概念和公理，其总体目标是建立一个开放的函数库，提供洞察力，同时也希望进一步在交易者的策略开发中运用这个非凡的领域。

在范畴论中，均衡器被定义为范畴中的一个域，它表示两个域之间一对（或多个）平行态射的“共同行为”。更准确地说，给定两个平行态射（f, g）：A --> B，f 和 g 的均衡器是满足以下条件的范畴中的域 E：

存在一个态射 e：E --> A 使得 f . e = g . e。
对于任何其它态射为 h 的域 X（上面未指出）：X --> A 如此 f . h = g . h，存在一个唯一的态射 u：X --> E 如此 h = e . u。