Category of topological spaces with base point