TOPOLOGICAL QUANTUM FIELD THEORIES FROM HOMOTOPY n-TYPES. - PORTER, TIM (Journal of the London Mathematical Society, 1998)