  This paper illustrates the themes of the title in terms of: van Kampen type
theorems for the fundamental groupoid; holonomy and monodromy groupoids; and
higher homotopy groupoids. Interaction with work of the writer is explored.
