Категория множеств

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

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