Trunks and classifying spaces. - Roger Fenn; Colin Rourke; Brian Sanderson (Appl. Categorical Struct., 1995)