Categories, bundles and spacetime topology. - Dodson C T J (1980)