Homotopy in Cat via Paths and the Fundamental Groupoid of a Category
Résumé
We construct an endofunctor of paths in the category of small category and show how to construct the standard homotopy invariants from it. We give a novel proof that the fundamental groupoid of a category is its associated universal groupoid.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...