On Some Notions of Rank for Matrices Over Tracts (with M Baker & T Zhang)

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.

Download paper here