代数理論とは何ですか？
Algebraic Theories 代数理論 - This paper advances such unification by showing that: (a) crossovers can be formally classified according to geometric or algebraic axiomatic properties; and (b) the population behaviour induced by certain crossovers in recombination-based EAs can be formalised in the geometric and algebraic theories. [1] Most of our results are based on the exciting interplay between monads and their presentations via algebraic theories. [2] In this paper, we focus on the operation and algebraic theories of two types of MCRS models. [3] Such dual pairs of operators also occur in other algebraic theories, such as mathematical morphology. [4]この論文は、次のことを示すことにより、そのような統一を進めています。（a）クロスオーバーは、幾何学的または代数的な公理的特性に従って形式的に分類できます。 （b）組換えベースのEAにおける特定のクロスオーバーによって誘発される集団行動は、幾何学および代数理論で形式化することができます。 [1] 私たちの結果のほとんどは、モナドと代数理論によるそれらのプレゼンテーションとの間の刺激的な相互作用に基づいています。 [2] この論文では、2種類のMCRSモデルの操作理論と代数理論に焦点を当てます。 [3] このような2組の演算子は、数理形態学などの他の代数理論でも発生します。 [4]