通过公理化由旧生新完全对偶
环与代数
2018-01-31 v2 逻辑
摘要
我们澄清了基于同一代数的两个完全对偶不同意味着什么。我们的主要定理给出了有限代数的两个不同 alter ego 所满足的条件，在此条件下，若一个产生完全对偶，则另一个亦产生完全对偶。我们利用该定理更好地理解自然对偶理论中的若干重要例子。贯穿全文，对偶类的泛 Horn 理论起着基础性作用。
引用
@article{arxiv.1511.03001,
title = {New-from-old full dualities via axiomatisation},
author = {Brian A. Davey and Jane G. Pitkethly and Ross Willard},
journal= {arXiv preprint arXiv:1511.03001},
year = {2018}
}