不存在基于 Hartman-Mycielski 函子的单子
一般拓扑
2012-12-07 v1
摘要
我们证明,不存在基于 Radul 先前引入的正规函子 的单子,该函子是 Hartman-Mycielski 构造 的某种函子式紧化。
引用
@article{arxiv.1212.1312,
title = {There is no monad based on Hartman-Mycielski functor},
author = {Lesya Karchevska and Iryna Peregnyak and Taras Radul},
journal= {arXiv preprint arXiv:1212.1312},
year = {2012}
}