摘要：Plotkin的约简定理在他的通用代数几何理论中非常重要。它可以推广到包含两个特殊对象的任意范畴，并且在这种情况下，证明变得更为简单。本文讨论了这个新证明及其应用。
作者：Grigori Zhitomirski (Bar-Ilan University, Israel)
论文ID：math/0309018
分类：Category Theory
分类简称：math.CT
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中