They are studied for their global properties by the methods of algebra and algebraic topology and form a natural domain for the global analysis of differential equations.