AI 中文总结
研究阿贝尔范畴的特征，核心方法是通过余宽松代数、宽松代数及宽松混合重写规则，主要贡献是给出了阿贝尔范畴基于此的一种刻画及相关理论。
AI 中文摘要
我们表明阿贝尔范畴可被刻画为由一个余宽松代数和一个宽松代数通过一个宽松混合重写规则相连的结构。为此，我们针对2-单子上的宽松-宽松和余宽松-宽松代数对发展了一种宽松重写规则理论。
英文摘要
We show that abelian categories can be characterized as structures consisting of a colax algebra and a lax algebra connected by a lax mixed rewriting rule. To this end we develop a theory of lax rewriting rules for pairs of lax-lax and colax-lax algebras over 2-monads.
Comments32 pages
