Can you summarize the following document?
        
  道路與環路是代數拓撲分支中同倫論的重要研究課題。道路的同倫就是保持端點不動的道路的連續形變的直觀想法的精確化。  明確地說,"X" 中道路的同倫是一族道路 "f" : "I" → "X" 使得  由一個同倫連線的道路 "f" 與 "f" 稱為同倫的。可以類似地定義保持基點不動的環路的同倫。  同倫的性質定義了拓撲空間中道路的一個等價關係。道路 "f" 在這個等價關係下的等價類稱為 "f" 的同倫類,通常記作 ["f"]。

  可以將道路以明顯的方式復合起來。假設 "f" 是從 "x" 到 "y" 的一條道路,"g" 是從 "y" 到 "z" 的一條道路。道路 "fg" 定義為首先通過 "f" 然後通過 "g": 顯然道路複合只對 "f" 的終點與 "g" 的起點重合有定義。如果考慮所有以 "x" 為基點的環路,則道路複合是一個二元運算。  道路複合,無論是對一般道路還是環路定義,都不是結合的,因為有不同的引數化。但是在同倫的層次上是結合的,即 [("fg")"h"] = ["f"("gh")]。道路複合定義了以 "x" ∈ "X" 為基點的環路的同倫類上的一個群結構,所得的群稱為 "X" 在以 "x" 為基點的基本群,通常記作 π("X","x"),這個群一般不可交換。

  有一個有時很有用的範疇描述。任何拓撲空間 "X" 給出了一個範疇其物件是 "X" 中的點,態射是道路的同倫類。因為這個範疇中任意態射是同構態射,故這個範疇是一個群胚,稱為 "X" 的基本群胚。這個範疇中的環路是自同態(事實上所有都是自同構)。點 "x" ∈ "X" 的自同構群恰好是以 "x" 為基點的基本群。基本群的重要定理塞弗特-範坎彭(Seifert–van Kampen)定理在基本群胚的框架下有簡明的描述與推廣。
在數學中,拓撲空間 "X" 中一條道路(英語:path)是從單位區間 "I" = [0,1] 到 "X" 的一個連續函式 "f" 道路的起點是 "f"(0),終點是 "f"(1)。通常說從 "x" 到 "y" 的一條道路,這裡 "x" 與 "y" 是道路的起點與終點。注意,一條道路不僅是 "X" 中看起來像一條曲線的子集,它也包含了引數化。例如,對映 "f"("x") = "x" 與 "g"("x") = "x" 表示兩個實數軸上從 0 到 1 兩條不同的道路。