{"id":"arxiv/2604.05744","url":"https://arxiv.org/abs/2604.05744","tags":["math.CT"],"score":0,"title":"On the decomposition of a strong epimorphism into regular epimorphisms","domain":"math.CT","source":"arxiv","authors":["Yuto Kawase","Hayato Nasu"],"reviews":0,"subject":"math.CT","summary":"Strong epimorphisms and regular epimorphisms are two important classes of morphisms, and they do not coincide in general. Yet, in a locally presentable category, it is known that any strong epimorphism can be decomposed into a transfinite composite of regular epimorphisms. In this paper, we provide two syntactic methods to determine how many regular epimorphisms are needed in such a decomposition, using partial Horn theory and generalized algebraic theory. We start by discussing a general problem of decomposing a morphism into a transfinite composite of morphisms in a given class, which also…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-07","reactions":{}}