{"id":"arxiv/2601.20322","url":"https://arxiv.org/abs/2601.20322","tags":["math.CT","math.AT"],"score":0,"title":"Kernels, lax algebras, décalage, and supercoherence","domain":"math.CT","source":"arxiv","authors":["Martin Markl","Dominik Trnka"],"reviews":0,"subject":"math.CT","summary":"We prove that a pointed category has kernels if and only if it is a lax algebra for the arrow 2-monad, and that this holds if and only if it is the décalage of a supercoherent structure. We will then interpret categories with kernels as the sought-after weak version of unary operadic categories.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-28","reactions":{}}