Decomposition spaces, incidence algebras and Möbius inversion II: Completeness, length filtration, and finiteness

Note: The notion of decomposition space was arrived at independently by Dyckerhoff and Kapranov [6] who call them unital 2-Segal spaces.