Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
From MaRDI portal
(Redirected from Publication:1647403)
Abstract: This is the first in a series of papers devoted to the theory of decomposition spaces, a general framework for incidence algebras and M"obius inversion, where algebraic identities are realised by taking homotopy cardinality of equivalences of -groupoids. A decomposition space is a simplicial -groupoid satisfying an exactness condition, weaker than the Segal condition, expressed in terms of active and inert maps in Delta. Just as the Segal condition expresses composition, the new condition expresses decomposition, and there is an abundance of examples in combinatorics. After establishing some basic properties of decomposition spaces, the main result of this first paper shows that to any decomposition space there is an associated incidence coalgebra, spanned by the space of 1-simplices, and with coefficients in -groupoids. We take a functorial viewpoint throughout, emphasising conservative ULF functors; these induce coalgebra homomorphisms. Reduction procedures in the classical theory of incidence coalgebras are examples of this notion, and many are examples of decalage of decomposition spaces. An interesting class of examples of decomposition spaces beyond Segal spaces is provided by Hall algebras: the Waldhausen S-construction of an abelian (or stable infinity) category is shown to be a decomposition space. Note: The notion of decomposition space was arrived at independently by Dyckerhoff and Kapranov (arXiv:1212.3563) who call them unital 2-Segal spaces. Our theory is quite orthogonal to theirs: the definitions are different in spirit and appearance, and the theories differ in terms of motivation, examples and directions.
Recommendations
- Polynomial hull of a torus fibered over the circle
- 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 spaces and restriction species
- Incidence bicomodules, Möbius inversion and a Rota formula for infinity adjunctions
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 3927168 (Why is no real title available?)
- scientific article; zbMATH DE number 3989612 (Why is no real title available?)
- scientific article; zbMATH DE number 4057746 (Why is no real title available?)
- scientific article; zbMATH DE number 3680046 (Why is no real title available?)
- scientific article; zbMATH DE number 3567030 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1243159 (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 5219541 (Why is no real title available?)
- scientific article; zbMATH DE number 5256216 (Why is no real title available?)
- scientific article; zbMATH DE number 3264101 (Why is no real title available?)
- scientific article; zbMATH DE number 3420754 (Why is no real title available?)
- A Course in Mathematical Logic for Mathematicians
- A Survey of (∞, 1)-Categories
- A cellular nerve for higher categories
- A model for the homotopy theory of homotopy theory
- An Algebraic Theory of Integration Methods
- 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
- Cohomology of small categories
- Combinatorial models for coalgebraic structures
- Combinatorial problems of commutation and rearrangements
- Complexe cotangent et déformations. II
- Crossed simplicial groups and structured surfaces
- Data types with symmetries and polynomial functors over groupoids
- 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
- Derived Hall algebras
- Faà di Bruno for operads and internal algebras
- Feynman graphs, and nerve theorem for compact symmetric multicategories (extended abstract)
- Finiteness obstructions and Euler characteristics of categories
- Graphs, hypergraphs, and properads
- Groupoids and Faà di Bruno formulae for Green functions in bialgebras of trees.
- Hall algebras and quantum groups
- Higher Topos Theory (AM-170)
- Higher categorical aspects of Hall algebras
- Higher dimensional algebra. VII: Groupoidification
- Homotopy linear algebra
- Homotopy type theory. Univalent foundations of mathematics
- Hopf Algebras of Combinatorial Structures
- Hopf algebras, renormalization and noncommutative geometry
- Incidence Hopf algebras
- Introduction to extensive and distributive categories
- Lectures on Hall algebras
- Monads with arities and their associated theories
- Monoidal functors, species and Hopf algebras
- Notions of Möbius inversion
- On bialgebras and Hopf algebras of oriented graphs.
- On the Hopf algebra strucutre of perturbative quantum field theories
- 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
- Polynomial functors and trees
- Quasi-categories and Kan complexes
- The category of representations of the general linear groups over a finite field
- The isomorphism problem for incidence algebras of Möbius categories
- Transformation groups and algebraic \(K\)-theory
- Triangulated surfaces in triangulated categories
- Une théorie combinatoire des séries formelles
Cited in
(44)- 2-Segal objects and the Waldhausen construction
- Spaces of smooth embeddings and configuration categories
- Quasi-2-Segal sets
- The edgewise subdivision criterion for 2-Segal objects
- Whole-grain Petri nets and processes
- Homotopy linear algebra
- 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
- Operads of (noncrossing) partitions, interacting bialgebras, and moment-cumulant relations
- scientific article; zbMATH DE number 7692241 (Why is no real title available?)
- The G\'alvez-Kock-Tonks conjecture for locally discrete decomposition spaces
- Frobenius objects in the category of spans
- Operadic categories and décalage
- 2-Segal objects and algebras in spans
- Moment categories and operads
- 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
- Groupoids and Faà di Bruno formulae for Green functions in bialgebras of trees.
- 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
- Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness
- Gabriel-Zisman cohomology and spectral sequences
- Möbius functions of directed restriction species and free operads, via the generalised Rota formula
- Perturbative renormalisation for not-quite-connected bialgebras
- Polynomial functors and combinatorial Dyson-Schwinger equations
- Comparison of Waldhausen constructions
- Decomposition spaces and restriction species
- Every 2-Segal space is unital
- Polynomial hull of a torus fibered over the circle
- Incidence algebras and coalgebras of decomposition structures
- Decomposition-space slices are toposes
- Frobenius and commutative pseudomonoids in the bicategory of spans
- 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
- Homotopy theory. Abstracts from the workshop held August 6--11, 2023
This page was built for publication: Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1647403)
