La teoria dei limiti semplicemente connessi è ulteriormente sviluppata introducendo l’analogo categoriale dello spazio di ricoprimento universale. Questa categoria del ricoprimento universale è utilizzata per dare una dimostrazione concettuale del fatto che i limiti connessi possono essere calcolati utilizzando prodotti fibrati ed equalizzatori. Si dimostra anche una proprietà fondamentale di esattezza della riflessione di gruppoidi per categorie: che essa preserva certi oggetti comma. The theory of simply connected limits is further developed by the introduction of the categorical analogue of the universal covering space. This universal covering category is used to give a conceptual proof that connected limits can be соnnected using fibred products and equalizers. Along the way we prove a fundamental exactness property of the groupoid reflection for cat¬egories: that it preserves certain comma objects.
