Decomposition spaces, incidence algebras and Mobius inversion III: the decomposition space of Möbius intervals
Rights accessRestricted access - publisher's policy (embargoed until 2020-07-18)
Decomposition spaces are simplicial 8-groupoids subject to a certain exactness condition, needed to induce a coalgebra structure on the space of arrows. Conservative ULF functors (CULF) between decomposition spaces induce coalgebra homomorphisms. Suitable added finiteness conditions define the notion of Möbius decomposition space, a far-reaching generalisation of the notion of Möbius category of Leroux. In this paper, we show that the Lawvere–Menni Hopf algebra of Möbius intervals, which contains the universal Möbius function (but is not induced by a Möbius category), can be realised as the homotopy cardinality of a Möbius decomposition space U of all Möbius intervals, and that in a certain sense U is universal for Möbius decomposition spaces and CULF functors.
CitationGalvez, M., Kock, J., Tonks, A. Decomposition spaces, incidence algebras and Mobius inversion III: the decomposition space of Möbius intervals. "Advances in mathematics", 20 Agost 2018, vol. 334, p. 544-584.
|DECOMPOSITION SPACES III.pdf||441,8Kb||Restricted access|