Lax Distributivity and a Characterization of Abelian Categories
arXiv:2607.25740
Abstract
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.
arXiv comment32 pages