关于Jonsson-Tarski和减法簇的特征
On the characterization of Jónsson-Tarski and of subtractive varieties
摘要：
研究了具有足够投射的酉正则范畴、减法正则范畴和强酉正则范畴，给出了它们的投射覆盖的刻画。范畴方程“强单位=单位+减法”的探讨：这导致证明其品种特征的范畴属性相应的代数理论。
英文摘要：
We investigate unital, subtractive and strongly unital regular categories with enough projectives and give characterizations of their projective covers. The categorical equation "strongly unital = unital + subtractive" is explored: this leads to proofs of their varietal characterizations in terms of the categorical properties of the corresponding algebraic theories.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
