Circle-valued Morse theory and Reidemeister torsion.
We prove that the topological φ-category of a pair (M,N) of topological manifolds is infinite if the algebraic φ-category of the pair of fundamental groups (π₁(M),π₁(N)) is infinite. Some immediate consequences of this fact are also pointed out.