記事「MQL5の圏論（第5回）等化子」についてのディスカッション

[MetaQuotes]

新しい記事「MQL5の圏論（第5回）等化子」はパブリッシュされました:

圏論は、数学の多様かつ拡大を続ける分野であり、最近になってMQL5コミュニティである程度取り上げられるようになりました。この連載では、その概念と原理のいくつかを探索して考察することで、トレーダーの戦略開発におけるこの注目すべき分野の利用を促進することを目的としたオープンなライブラリを確立することを目指しています。

圏理論では、等化子は、2つの領域間の並列射のペア（またはそれ以上）の「共通の動作」を表す圏内の領域として定義されます。より正確には、2つの平行射(f, g):A-->Bが与えられたとします。fとgの等化子は、次の条件を満たす圏内の始域Eです。

1. f . e = g . eになるような射e:E-->Aが存在する
2. f . h = g . hとなるような射h:X --> Aを持つ他の領域 X (上には示されていない) については、h = e . uとなるような射u:X-->Eが存在する

作者: Stephen Njuki