{"id":"arxiv/2607.25740","url":"https://arxiv.org/abs/2607.25740","tags":["math.CT"],"score":0,"title":"Lax Distributivity and a Characterization of Abelian Categories","domain":"math.CT","source":"arxiv","authors":["Martin Markl","Dominik Trnka"],"reviews":0,"subject":"math.CT","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-28","reactions":{}}