Discussion of article "Category Theory in MQL5 (Part 5): Equalizers"

[MetaQuotes]

New article Category Theory in MQL5 (Part 5): Equalizers has been published:

Category Theory is a diverse and expanding branch of Mathematics which is only recently getting some coverage in the MQL5 community. These series of articles look to explore and examine some of its concepts & axioms with the overall goal of establishing an open library that provides insight while also hopefully furthering the use of this remarkable field in Traders' strategy development.

In category theory, an equalizer is defined as a domain in a category that represents the "common behaviour" of a pair (or more) of parallel morphisms between 2 domains. More precisely, given two parallel morphisms (f, g): A --> B, the equalizer of f and g is an domain E in the category that satisfies the following conditions:

1. There exists a morphism e: E --> A such that f . e = g . e.
2. For any other domain X (not indicated above) with morphism h: X --> A such that f . h = g . h, there exists a unique morphism u: X --> E such that h = e . u.

Author: Stephen Njuki