Lax Distributivity and a Characterization of Abelian Categories

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.