Topological conjugacy for 1-block factor maps of subshifts and sofic covers

We prove that any topological conjugacy of 1-block factor maps between subshifts is factored into bipartitely related conjugacies. We also prove that for sofic covers, bipartitely related conjugacy and topological conjugacy are equivalent to 1-step strong shift equivalence and strong shift equivalence, respectively, of their representation matrices.