On the categories of topological algebra