Tate linear algebra