{"id":"arxiv/2611.08063","url":"https://arxiv.org/abs/2611.08063","tags":["math.CT","math.AT","math.CO"],"score":0,"title":"The universal property of the decomposition space of quasisymmetric functions","domain":"math.CT","source":"arxiv","authors":["Philip Hackney","Joachim Kock","Jan Steinebrunner"],"reviews":0,"subject":"math.CT","summary":"Aguiar, Bergeron, and Sottile showed that the coalgebra of quasisymmetric functions is terminal among connected graded coalgebras with a zeta function. After developing the notions of gradings and zeta functions for decomposition spaces, we establish an objective homotopic version of this result. Namely, the decomposition space $Q$ of quasisymmetric functions is terminal: for any conservatively graded decomposition space $X$ with zeta function $F$, there is a unique graded ikeo-culf span $X \\leftarrow W \\rightarrow Q$ inducing $F$ from the special zeta function on $Q$. More generally, for…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-11-05","reactions":{}}