文章 "MQL5 中的范畴论 (第 2 部分)"

 

新文章 MQL5 中的范畴论 (第 2 部分)已发布:

范畴论是数学的一个多样化和不断扩展的分支,到目前为止,在 MQL5 社区中还相对难以发现。 这些系列文章旨在介绍和研究其一些概念,其总体目标是建立一个开放的函数库,吸引评论和研讨,同时希望在交易者的策略开发中进一步在运用这一非凡的领域。

同构是范畴论中同态的关键性质,因为它确保目标范畴域的结构在映射下得以保留。 它还保证保留源类别中域的代数运算。 例如,我们考虑一个服装类别,其中的域是衬衫和裤子,态射是将衬衫大小映射到裤子大小的函数。 此类别中的同态将保留衬衫尺寸与裤子相应尺寸的配对的功能。 而此类别中的同构将是一个函数,它不仅保留了尺寸的代数配对,而且还在衬衫和裤子的尺寸之间建立了一对一的对应关系。 这意味着对于任何尺寸的衬衫,只有一个对应的裤子尺寸,反之亦然。 举例来说,考虑将衬衫尺寸(例如“小”、“中”、“大”)映射到裤子尺寸(例如 “26”、“28”、“30”、“32”)的函数。 该函数是一个同态,因为它保留并定义了大小的配对(例如,“小”可以与 “26” 配对)。 但这不是同构,因为它没有在衬衫和裤子的尺寸之间建立一对一的对应关系,因为“小”也可以与 “28” 或 “26” 一起穿。 这里没有可逆性。


non_iso

作者:Stephen Njuki