### Current browse context:

math.CT

### Change to browse by:

### References & Citations

# Mathematics > Category Theory

# Title: Decomposition spaces, incidence algebras and Möbius inversion III: the decomposition space of Möbius intervals

(Submitted on 23 Dec 2015 (this version),

*latest version 24 Apr 2018*(v3))Abstract: Decomposition spaces are simplicial $\infty$-groupoids subject to a certain exactness condition, needed to induce a coalgebra structure on the space of arrows. Conservative ULF functors between decomposition spaces induce coalgebra homomorphisms. Suitable added finiteness conditions define the notion of M\"obius decomposition space, a far-reaching generalisation of the notion of M\"obius category of Leroux. In this paper, we show that the Lawvere-Menni Hopf algebra of M\"obius intervals, which contains the universal M\"obius function (but is not induced by a M\"obius category), can be realised as the homotopy cardinality of a M\"obius decomposition space $U$ of all M\"obius intervals, and that in a certain sense $U$ is universal

## Submission history

From: Joachim Kock [view email]**[v1]**Wed, 23 Dec 2015 18:45:30 GMT (42kb)

**[v2]**Thu, 24 Dec 2015 12:41:00 GMT (42kb)

**[v3]**Tue, 24 Apr 2018 16:16:00 GMT (34kb)

Link back to: arXiv, form interface, contact.