Free decomposition spaces
(free) decomposition space\(2\)-Segal spacesactive and inert mapKan extensionMöbius inversionrestriction \(\mathbb{L}\)-species
Symmetric functions and generalizations (05E05) Connections of Hopf algebras with combinatorics (16T30) Simplicial sets, simplicial objects (18N50) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60) Simplicial sets and complexes in algebraic topology (55U10)
The starting point is the recent discovery that objects more general than posets admit the construction of incidence algebras and Möbius inversion: these are called decomposition spaces by \textit{I. Gálvez-Carrillo} et al. [Adv. Math. 331, 952--1015 (2018; Zbl 1403.00023); Adv. Math. 333, 1242--1292 (2018; Zbl 1403.18016)], and they are the same thing as the \(2\)-Segal spaces of \textit{T. Dyckerhoff} and \textit{M. Kapranov} [Higher Segal spaces. Cham: Springer (2019; Zbl 1459.18001)] who were motivated mainly by representation theory and homological algebra.\N\NThe authors introduce the notion of free decomposition spaces: they are simplicial spaces freely generated by inert maps. It is shown that left Kan extension along the inclusion \(j :\triangle_{\text{inert}}\to\triangle\) takes general objects to Möbius decomposition spaces and general maps to CULF maps. Next, an equivalence of \(\infty\)-categories \(\mathbf{ PrSh}(\triangle_{\text{inert}})\simeq \mathbf{Decomp}_{BN}\) is established. Although free decomposition spaces are rather simple objects, they abound in combinatorics: it seems that all comultiplications of deconcatenation type arise from free decomposition spaces. An extensive list of examples, including quasi-symmetric functions is presented.
- 2-Segal sets and the Waldhausen construction
- A cellular nerve for higher categories
- Coalgebras and Bialgebras in Combinatorics
- Commutative combinatorial Hopf algebras.
- Decomposition spaces and restriction species
- Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
- Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness
- Decomposition spaces, incidence algebras and Möbius inversion. III: The decomposition space of Möbius intervals
- Decomposition-space slices are toposes
- Duality between quasi-symmetric functions and the Solomon descent algebra
- Every 2-Segal space is unital
- Exponentiability and single universes
- Fibrations of -categories
- Graphs, hypergraphs, and properads
- Handbook of Graph Grammars and Computing by Graph Transformation
- Handbook of process algebra
- Higher Segal spaces
- Higher Topos Theory (AM-170)
- Homotopy-coherent algebra via Segal conditions
- Hopf algebras and dendriform structures arising from parking functions
- Hopf Algebras of Combinatorial Structures
- scientific article; zbMATH DE number 2125667 (Why is no real title available?)
- scientific article; zbMATH DE number 3885321 (Why is no real title available?)
- scientific article; zbMATH DE number 3567030 (Why is no real title available?)
- scientific article; zbMATH DE number 1243159 (Why is no real title available?)
- scientific article; zbMATH DE number 1268810 (Why is no real title available?)
- scientific article; zbMATH DE number 1111371 (Why is no real title available?)
- scientific article; zbMATH DE number 1178976 (Why is no real title available?)
- scientific article; zbMATH DE number 922680 (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?)
- Infinity properads and infinity wheeled properads
- Modular operads and the nerve theorem
- Monads with arities and their associated theories
- Monoidal functors, species and Hopf algebras
- On the foundations of combinatorial theory I. Theory of M�bius Functions
- Parking functions and noncrossing partitions
- Polynomial functors and trees
- Segal conditions for generalized operads
- The edgewise subdivision criterion for 2-Segal objects
- THE HOPF ALGEBRAS OF SYMMETRIC FUNCTIONS AND QUASI-SYMMETRIC FUNCTIONS IN NON-COMMUTATIVE VARIABLES ARE FREE AND CO-FREE
- The incidence comodule bialgebra of the Baez-Dolan construction
- Tracelet Hopf algebras and decomposition spaces (extended abstract)
- Twisted arrow categories, operads and Segal conditions
- Une théorie combinatoire des séries formelles
- Unique factorisation lifting functors and categories of linearly-controlled processes
- Whole-grain Petri nets and processes
- ∞-Operads as Analytic Monads
This page was built for publication: Free decomposition spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6937009)
