{"id":"arxiv/2607.19587","url":"https://arxiv.org/abs/2607.19587","tags":["math.CT","math.LO","math.QA"],"score":0,"title":"A Syntactic Approach to Ulmer's Bialgebras","domain":"math.CT","source":"arxiv","authors":["David Forsman"],"reviews":0,"subject":"math.CT","summary":"Ulmer introduced a semantic notion of bialgebras that unifies a broad class of algebraic and coalgebraic structures. We develop a syntactic counterpart by introducing signature pairs $(Σ,σ)$ and bialgebraic theories $T$, providing a uniform language for constructing internal bialgebras in a $2$-categorical setting. For every bialgebraic theory $T$ and $Σ$-model $M$ within a $2$-category with PIE limits, we construct the object $M^T$ of internal $T$-bialgebras. Our approach to bialgebras admits a general Induced Functor of Algebras Theorem extending the classical lifting of lax monoidal…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-21","reactions":{}}