See the folder on algebraic topology.