Nótese que algunos autores utilizan el nombre formula_1 para referirse a la categoría con las variedades topológicas como objetos y funciones continuas como morfismos.