A Complete Invariant for Shift Equivalence for Boolean Matrices and Finite Relations

We give a complete invariant for shift equivalence for Boolean matrices (equivalently finite relations), in terms of the period, the induced partial order on recurrent components, and the cohomology class of the relation on those components.