III.D35 — Simply Connected in Category τ

Categorical reinterpretation of simple connectivity: π₁^τ trivial iff every loop of transition functions in the Hartogs bulk is contractible. S³ is the terminal object among closed, simply connected 3-dimensional τ-spaces. Poincaré = uniqueness of the terminal object.