Discussão do artigo "Teoria das Categorias em MQL5 (Parte 5): Equalizadores"

[MetaQuotes]

Novo artigo Teoria das Categorias em MQL5 (Parte 5): Equalizadores foi publicado:

A teoria das categorias é um ramo diversificado e em expansão da matemática que só recentemente começou a ser abordado na comunidade MQL5. Esta série de artigos tem como objetivo analisar alguns de seus conceitos para criar uma biblioteca aberta e utilizar ainda mais essa maravilhosa seção na criação de estratégias de negociação.

Na teoria das categorias, um equalizador é definido como um domínio em uma categoria que representa o "comportamento comum" de um par (ou mais) de morfismos paralelos entre 2 domínios. Mais precisamente, dados dois morfismos paralelos (f, g): A --> B, o equalizador de f e g é um domínio E na categoria que satisfaz as seguintes condições:

1. Existe um morfismo e: E --> A tal que f . e = g. e.
2. Para qualquer outro domínio X (não indicado acima) com morfismo h: X --> A tal que f . h = g. h, existe um único morfismo u: X --> E tal que h = e . u.

Autor: Stephen Njuki