Σ est un foncteur de la catégorie des espaces pointés dans elle-même.
Il est défini comme suit : pour tout espace pointé (X, x), Σ(X) est l'espace pointé (X, x) lui-même, et pour tout morphisme de pointage f : (X, x) → (Y, y), Σ(f) = f.