1. The extension property makes β a functor from Top (the category of topological spaces) to CHaus (the category of compact Hausdorff spaces).

La propriété d'extension des applications fait de β un foncteur allant de Top (la catégorie des espaces topologiques) vers Comp (la catégorie des espaces compacts).