topology/algebraic: dold-kan complex splitting