The correspondence `` G '' ↦ Bohr ( `` G '' ) defines a covariant functor on the category of continuous groups and topological homomorphisms .
The correspondence `` G '' ↦ Bohr ( `` G '' ) defines a covariant functor on the category of topological groups and continuous homomorphisms .