Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness
From MaRDI portal
(Redirected from Publication:1649360)
Abstract: This is the second in a trilogy of papers introducing and studying the notion of decomposition space as a general framework for incidence algebras and M"obius inversion, with coefficients in -groupoids. A decomposition space is a simplicial -groupoid satisfying an exactness condition weaker than the Segal condition. Just as the Segal condition expresses composition, the new condition expresses decomposition. In this paper, we introduce various technical conditions on decomposition spaces. The first is a completeness condition (weaker than Rezk completeness), needed to control simplicial nondegeneracy. For complete decomposition spaces we establish a general M"obius inversion principle, expressed as an explicit equivalence of -groupoids. Next we analyse two finiteness conditions on decomposition spaces. The first, that of locally finite length, guarantees the existence of the important length filtration on the associated incidence coalgebra. We show that a decomposition space of locally finite length is actually the left Kan extension of a semi-simplicial space. The second finiteness condition, local finiteness, ensures we can take homotopy cardinality to pass from the level of -groupoids to the level of vector spaces. These three conditions - completeness, locally finite length, and local finiteness - together define our notion of M"obius decomposition space, which extends Leroux's notion of M"obius category (in turn a common generalisation of the locally finite posets of Rota et al. and of the finite decomposition monoids of Cartier-Foata), but which also covers many coalgebra constructions which do not arise from M"obius categories, such as the Fa`a di Bruno and Connes-Kreimer bialgebras. Note: The notion of decomposition space was arrived at independently by Dyckerhoff and Kapranov (arXiv:1212.3563) who call them unital 2-Segal spaces.
Recommendations
- Polynomial hull of a torus fibered over the circle
- Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
- Incidence bicomodules, Möbius inversion and a Rota formula for infinity adjunctions
- Decomposition spaces, incidence algebras and Möbius inversion. III: The decomposition space of Möbius intervals
- Corrigendum to: ``Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness
Cites work
- scientific article; zbMATH DE number 1686998 (Why is no real title available?)
- scientific article; zbMATH DE number 2125667 (Why is no real title available?)
- scientific article; zbMATH DE number 3983158 (Why is no real title available?)
- scientific article; zbMATH DE number 3989612 (Why is no real title available?)
- scientific article; zbMATH DE number 3567030 (Why is no real title available?)
- scientific article; zbMATH DE number 1313604 (Why is no real title available?)
- scientific article; zbMATH DE number 5934750 (Why is no real title available?)
- scientific article; zbMATH DE number 5256216 (Why is no real title available?)
- Categories de Möbius et fonctorialites: un cadre général pour l'inversion de Möbius
- Categorification of Hopf algebras of rooted trees.
- Coalgebras and Bialgebras in Combinatorics
- Decomposition spaces and restriction species
- Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
- Finiteness obstructions and Euler characteristics of categories
- Groupoids and Faà di Bruno formulae for Green functions in bialgebras of trees.
- Higher Topos Theory (AM-170)
- Higher dimensional algebra. VII: Groupoidification
- Homotopy linear algebra
- Hopf Algebras of Combinatorial Structures
- Monads with arities and their associated theories
- Notions of Möbius inversion
- On the Möbius Algebra and the Grothendieck Ring of a Finite Category
- On the foundations of combinatorial theory I. Theory of M�bius Functions
- Perturbative renormalisation for not-quite-connected bialgebras
- Polynomial functors and combinatorial Dyson-Schwinger equations
- Quasi-categories and Kan complexes
- The isomorphism problem for incidence algebras of Möbius categories
- Transformation groups and algebraic \(K\)-theory
Cited in
(25)- Quasi-2-Segal sets
- Whole-grain Petri nets and processes
- Faà di Bruno for operads and internal algebras
- A simplicial groupoid for plethysm
- Plethysms and operads
- Weak Cartesian properties of simplicial sets
- 2-Segal spaces as invertible infinity-operads
- scientific article; zbMATH DE number 7692241 (Why is no real title available?)
- The G\'alvez-Kock-Tonks conjecture for locally discrete decomposition spaces
- Higher Segal spaces via higher excision
- The incidence comodule bialgebra of the Baez-Dolan construction
- Proto-exact categories of matroids, Hall algebras, and \(K\)-theory
- Decomposition spaces, incidence algebras and Möbius inversion. III: The decomposition space of Möbius intervals
- Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
- Möbius functions of directed restriction species and free operads, via the generalised Rota formula
- Polynomial functors and combinatorial Dyson-Schwinger equations
- Polynomial hull of a torus fibered over the circle
- Decomposition-space slices are toposes
- Tracelet Hopf algebras and decomposition spaces (extended abstract)
- Matrix operations in random permutation set
- Corrigendum to: ``Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness
- Twisted arrow categories, operads and Segal conditions
- Incidence bicomodules, Möbius inversion and a Rota formula for infinity adjunctions
- Yoneda lemma for simplicial spaces
- Antipodes of monoidal decomposition spaces
This page was built for publication: Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1649360)
