Baker and Bowler (2019) showed that the Grassmannian can be
defined over a tract, a field-like structure generalizing both
partial fields and hyperfields.
This notion unifies theories for matroids over partial fields,
valuated matroids, and oriented...