glossary:morphism:module:left