A Description of Iterative Reflections of Monads (Extended Abstract)
A Description of Iterative Reflections of Monads (Extended Abstract)
复制标题
单子迭代反射的描述（扩展摘要）
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
J. Velebil
中科院分区：
文献类型：
--
作者：
J. Adámek;Stefan Milius;J. Velebil
对于Set（e. G.有限列表单子，有限袋单子等）我们最近证明了每个集合生成一个自由迭代代数。这就产生了一个新的单子。现在我们证明了这个单子在卡尔文埃尔戈的意义下是迭代的，事实上，这是给定理想单子的迭代反射。这展示了如何将递归方程的唯一解自由地添加到给定的代数理论中。示例如下：自由交换二元代数的单子具有二元有理无序树的单子作为迭代反射，有限列表单子具有通过添加吸收元而给出的迭代反射。
For ideal monads in Set (e. g. the finite list monad, the finite bag monad etc.) we have recently proved that every set generates a free iterative algebra. This gives rise to a new monad. We prove now that this monad is iterative in the sense of Calvin Elgot, in fact, this is the iterative reflection of the given ideal monad. This shows how to freely add unique solutions of recursive equations to a given algebraic theory. Examples: the monad of free commutative binary algebras has the monad of binary rational unordered trees as iterative reflection, and the finite list monad has the iterative reflection given by adding an absorbing element.
单子的迭代反射
影响因子：
0.5
作者：
J. Adámek;S. Milius;J. Velebil
通讯作者：
J. Velebil