External Linear Algebra