谓词变换子、(余)单子与分解
计算机科学中的逻辑
2009-06-17 v1
摘要
这篇简短的笔记包含了对幂集上闭包/内部算子分解定理的一些随机思考，该定理让人联想到单子/余单子的分解概念。该问题源于形式拓扑学，但其本身也很有趣。该结果在构造性意义下成立（尽管在经典意义下有若干变体）；但通常不是谓词性的（即插值项不会由集合给出）。对于不熟悉谓词性问题的读者，我们考虑一个“经典”版本，其中限制了插值项的大小。
引用
@article{arxiv.0906.2866,
title = {Predicate Transformers, (co)Monads and Resolutions},
author = {Pierre Hyvernat},
journal= {arXiv preprint arXiv:0906.2866},
year = {2009}
}