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