Eigenvalues, invariant factors, highest weights, and Schubert calculus | Synapse