{"id":"arxiv/2611.03174","url":"https://arxiv.org/abs/2611.03174","tags":["cs.LO","math.AC","math.CT"],"score":0,"title":"Final coalgebras over R-modules","domain":"cs.LO","source":"arxiv","authors":["Oisín Flynn-Connolly","Henning Basold","Chase Ford"],"reviews":0,"subject":"cs.LO","summary":"Final coalgebras and the coinduction principle for coalgebras over $R$-modules, where $R$ is a commutative ring, are essential in determining the denotational behaviour of various types of linear weighted automata. The goal of this paper is to provide lower and upper bounds on the ordinals that are needed to construct final coalgebras over $R$-modules as the limit of a transfinite sequence of functor iterations. We give an example of a binary intersection preserving finitary functor on the category of abelian groups, which is the category of modules over integers, that fails to converge in…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-11-02","reactions":{}}