Plotkin约化定理的一个推广和新证明
A generalization and a new proof of Plotkin's reduction theorem
摘要：
普洛特金约化定理在他的泛代数几何理论[arXiv：math. GM/0210187]，[arXiv：math. GM/0210194]中占有重要地位。事实证明，这个定理可以推广到包含两个特殊对象的任意范畴，在这种情况下，它的证明变得相当简单。这一新的证明和应用是本文的主题。
英文摘要：
It is known that Plotkin's reduction theorem is very important for his theory of universal algebraic geometry [arXiv:math. GM/0210187], [arXiv:math. GM/0210194]. It turns out that this theorem can be generalized to arbitrary categories containing two special objects and in this case its proof becomes considerable more simple. This new proof and applications are the subject of the present paper.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
