Обсуждение статьи "Теория категорий в MQL5 (Часть 5): Эквалайзеры"

[MetaQuotes]

Опубликована статья Теория категорий в MQL5 (Часть 5): Эквалайзеры:

Теория категорий представляет собой разнообразный и расширяющийся раздел математики, который лишь недавно начал освещаться в MQL5-сообществе. Эта серия статей призвана рассмотреть некоторые из ее концепций для создания открытой библиотеки и дальнейшему использованию этого замечательного раздела в создании торговых стратегий.

В теории категорий эквалайзер определяется как домен в категории, который представляет "общее поведение" пары (или более) параллельных морфизмов для двух доменов. Точнее, для двух параллельных морфизмов (f, g): A --> B, уравнителем f и g является домен E в категории, удовлетворяющий следующим условиям:

1. Имеется морфизм e: E --> A, такой что f . e = g . е.
2. Для любого другого домена X (не указанного выше) с морфизмом h: X --> A, таким что f . h = g . h, существует единственный морфизм u: X --> E, такой что h = e . u.

Автор: Stephen Njuki