text: При этом π 1 ( X , x 0 ) ≅ Aut Π ( X ) ⁡ x 0 {\displaystyle \pi _{1}(X,x_{0})\cong \operatorname {Aut} _{\Pi (X)}x_{0}} , и если X {\displaystyle X} линейно связно, то вложение π 1 ( X , x 0 ) ↪ Π ( X ) {\displaystyle \pi _{1}(X,x_{0})\hookrightarrow \Pi (X)} является эквивалентностью категорий.