Категория левых модулей

Пусть — ассоциативное кольцо.

Определение 1. Категория левых модулей¹⁾ над кольцом — это категория, объектами которой являются левые -модули, а морфизмами — гомоморфизмы левых -модулей.

Предложение 1. Мономорфизм левых модулей является мономорфизмом в категории левых модулей.

Предложение 2. Эпиморфизм левых модулей является эпиморфизмом в категории левых модулей.

Предложение 3. Изоморфизм левых модулей является изоморфизмом в категории левых модулей.

• Ленг С. «Алгебра», Мир, 1968.