Objective combinatorics through decomposition spaces