Colimits, Stanley-Reisner algebras, and loop spaces. Categorical decomposition techniques in algebraic topology.