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...