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