Homotopy in Cat via Paths and the Fundamental Groupoid of a Category
Abstract
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.
Origin : Files produced by the author(s)
Loading...