  Given a tract $F$ in the sense of Baker and Bowler and a matrix $A$ with
entries in $F$, we define several notions of rank for $A$. In this way, we are
able to unify and find conceptually satisfying proofs for various results about
ranks of matrices that one finds scattered throughout the literature.
