Text this: Global theory of connections and holonomy groups