Abstract:A decomposition space (also called 2-Segal space) is a simplicial object satisfying an exactness condition weaker than the Segal condition: just as the Segal condition expresses composition, the new condition expresses decomposition. It is a general framework for incidence (co)algebras. In this contribution, after establishing a formula for the section coefficients, we survey a large supply of examples, emphasising the notion's firm roots in classical combinatorics. The first batch of examples, similar to binomial posets, serves to illustrate 2 key points: (1) the incidence algebra in question is realised directly from a decomposition space, without a reduction step, and reductions are often given by CULF functors; (2) at the objective level, the convolution algebra is a monoidal structure of species. We encounter the usual Cauchy product of species, the shuffle product of L-species, the Dirichlet product of arithmetic species, the Joyal-Street external product of q-species and the Morrison `Cauchy' product of q-species. In each case a power series representation results from taking cardinality. The external product of q-species exemplifies the fact that Waldhausen's S-construction on an abelian category is a decomposition space, yielding Hall algebras. The next class of examples includes Schmitt's chromatic Hopf algebra, the Faà di Bruno bialgebra, the Butcher-Connes-Kreimer Hopf algebra of trees and variations from operad theory. Similar structures on posets and directed graphs exemplify a general construction of decomposition spaces from directed restriction species. An appetiser on decomposition spaces of symmetric functions is included. We finish by computing the Möbius function in a few cases, and commenting on certain cancellations that occur in the process of taking cardinality, substantiating that these cancellations are not possible at the objective level.

Paradoxical decompositions of free F2 ‐sets and the Hahn‐Banach axiom

Computable paradoxical decompositions

Adding an Abstraction Barrier to ZF Set Theory

Paraconsistent and Paracomplete Zermelo-Fraenkel Set Theory

Set-Theoretic Hypodoxes and co-Russell's Paradox

The Banach-Tarski paradox for some subsets of finite-dimensional normed spaces over non-Archimedean valued fields

Hyperbolic actions of Thompson's group $F$ and generalizations

On the representation theory of the symmetry group of the Cantor set

Infinite Combinatorics revisited in the absence of Axiom of Choice

Pairs of partial orders and the amalgamation property

Decomposition spaces in Combinatorics

Representation theory of topological full groups of étale groupoids and paradoxicality

The Ehrenfeucht conjecture: a compactness claim for finitely generated free monoids

Parahoric Reduction Theory of Formal Connections (or Higgs Fields)

Fregean abstraction in Zermelo-Fraenkel set theory: a deflationary account

The 0-concordance monoid admits an infinite linearly independent set

Spherical Complexes Attached to Symplectic Lattices

A homotopy approach to set theory

An alternative axiomization of $N$-pseudospaces

Dual representations of and decomposition of Fock spaces

Topological finiteness properties of monoids. Part 2: special monoids, one-relator monoids, amalgamated free products, and HNN extensions