glossary:morphism:ring