可数结构自同态幺半群的拓扑刻画
逻辑
2018-10-16 v2
摘要
一个拓扑幺半群同构于某个可数结构的自同态幺半群，当且仅当它是可分的，并且具有一个相容的完备超度量，使得左复合是非扩张的。我们还给出了那些同构于可数 omega-范畴结构自同态幺半群的拓扑幺半群的拓扑刻画。最后，我们给出了可数结构多态克隆以及可数 omega-范畴结构多态克隆的类似刻画。
引用
@article{arxiv.1508.07404,
title = {A topological characterisation of endomorphism monoids of countable structures},
author = {Manuel Bodirsky and Friedrich Martin Schneider},
journal= {arXiv preprint arXiv:1508.07404},
year = {2018}
}
备注
16 pages; minor corrections have been made in version 2