Algebraic topology, Waterloo 1978: Proceedings of a