Rings, fields of quotients, rings of polynomials, formal power series, modules, exact sequences, groups of homomorphisms, natural isomorphisms, algebras and tensor algebras.