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.

#state/tidy | #lang/en | #SemBr