Pol-Inv Galois 连接的无穷版本
逻辑
2013-10-08 v1
摘要
在本文中，我们证明了固定（可能是无限）集合上克隆与关系克隆之间一一对应定理的无穷版本。我们还刻画了对应于所有有限运算克隆的关系克隆。通过这一刻画，我们获得了固定无限集上的有限运算克隆与满足某些条件的关系克隆之间的对应关系。
引用
@article{arxiv.1310.1849,
title = {Infinitary version of Pol-Inv Galois connection},
author = {Shohei Izawa},
journal= {arXiv preprint arXiv:1310.1849},
year = {2013}
}
备注
5 pages