Discusión sobre el artículo "Teoría de Categorías en MQL5 (Parte 5): Ecualizadores"

[MetaQuotes]

Artículo publicado Teoría de Categorías en MQL5 (Parte 5): Ecualizadores:

La teoría de categorías es un apartado diverso y en expansión de las matemáticas, que solo recientemente ha comenzado a ser trabajado por la comunidad MQL5. Esta serie de artículos tiene por objetivo repasar algunos de sus conceptos para crear una biblioteca abierta y seguir usando este maravilloso apartado en la creación de estrategias comerciales.

En teoría de categorías, un ecualizador se define como un dominio en una categoría que representa el "comportamiento común" de un par (o más) de morfismos paralelos para dos dominios, concretamente, para dos morfismos paralelos (f, g): A --> B, el igualador de f y g es el dominio E de la categoría que cumple las siguientes condiciones:

1. Existe un morfismo e: E --> A, tal que f . e = g . e.
2. Para cualquier otro dominio X (no indicado anteriormente) con morfismo h: X --> A, tal que f . h = g . h, existe un único morfismo u: X --> E tal que h = e . u.

Autor: Stephen Njuki