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