I'm basically looking for a combination of Hoffman Kunze and Artin, I think.
Such a book would ideally take a student who has already seen the basics of matrices and vectors, and the very basics of vector spaces, via Shrifin's Multivariable Mathematics for example, to the point where they could tackle first year graduate / advanced undergraduate courses in differential equations (dynamical systems) / differential geometry (topology).
Hoffman Kunze is close, but doesn't take the algebra far enough, they'd need for example isomorphism theorems for groups and rings. Artin omits dual spaces...
Any ideas?