define hom spaces, prove theyre finite dimensional. define algebras, define the associative algebra of endomorphisms, define the general linear group