Diskussion zum Artikel "Kategorientheorie in MQL5 (Teil 5): Differenzkern oder Egalisator"

[MetaQuotes]

Neuer Artikel Kategorientheorie in MQL5 (Teil 5): Differenzkern oder Egalisator :

Die Kategorientheorie ist ein vielfältiger und expandierender Zweig der Mathematik, der erst seit kurzem in der MQL5-Gemeinschaft Beachtung findet. In dieser Artikelserie sollen einige der Konzepte und Axiome erforscht und untersucht werden, mit dem übergeordneten Ziel, eine offene Bibliothek einzurichten, die Einblicke gewährt und hoffentlich auch die Nutzung dieses bemerkenswerten Bereichs für die Strategieentwicklung von Händlern fördert.

In der Kategorientheorie ist ein Egalisator definiert als eine Domäne in einer Kategorie, die das „gemeinsame Verhalten“ eines Paares (oder mehrerer) paralleler Morphismen zwischen 2 Domänen darstellt. Genauer gesagt, bei zwei parallelen Morphismen (f, g): A --> B ist der Egalisator von f und g eine Domäne E in der Kategorie, das die folgenden Bedingungen erfüllt:

1. Es existiert ein Morphismus e: E --> A so, dass f . e = g . e.
2. Für jede andere Domäne X (oben nicht angegeben) mit dem Morphismus h: X --> A, sodass f . h = g . h ist, gibt es einen eindeutigen Morphismus u: X --> E so, dass h = e . u.

Autor: Stephen Njuki