论文标题
树代数的电源构造
The Power-Set Construction for Tree Algebras
论文作者
论文摘要
我们研究树木和树代数类的电源操作。我们的主要结果包括树木单和向上关闭的电源单元之间的分配定律，如果假定所有树是线性的，那么在情况下。对于非线性的，我们证明不存在这样的分配定律。
We study power-set operations on classes of trees and tree algebras. Our main result consists of a distributive law between the tree monad and the upwards-closed power-set monad, in the case where all trees are assumed to be linear. For non-linear ones, we prove that such a distributive law does not exist.
