Modular curves 5: Algebra of SL(2,Z)-modular forms. UniversesModular curves 7: Adjoint functors. Tensor products