Decomposition spaces, incidence algebras and Möbius inversion I: Basic theory

Note: The notion of decomposition space was arrived at independently by Dyckerhoff and Kapranov [17] 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.