Continuous path Category of paths Let be a topological space, and be its path algebra. The following congruence relation on paths makes into a Small category . Let . Then iff for some . The category is called the category of paths on . Properties By the Path traversal lemma we can factorise through to get the Fundamental groupoid. tidy | en | sembr