{"id":"arxiv/2607.25460","url":"https://arxiv.org/abs/2607.25460","tags":["math.LO"],"score":0,"title":"Initial algebras from constructive ordinals","domain":"math.LO","source":"arxiv","authors":["Benno van den Berg"],"reviews":0,"subject":"math.LO","summary":"We show how a standard constructive notion of ordinal supports a useful constructive theory of transfinite recursion. We do this by giving constructive proofs of various initial algebra theorems, like Adamek's theorem, and a version of Quillen's small object argument for constructing cofibrantly generated algebraic weak factorisation systems.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-28","reactions":{}}