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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Категория множеств — категория, объекты которой — множества, а морфизмы между множествами A и B — все функции из A в B. Обозначается Set. В аксиоматике Цермело — Френкеля «множества всех множеств» не существует, а работать с понятием класса не очень удобно; для этой проблемы было предложено несколько различных решений.[1][2][3]

Свойства категории множеств[править | править исходный текст]

Примечания[править | править исходный текст]

Литература[править | править исходный текст]

  • Маклейн С. Глава 1. Категории, функторы и естественные преобразования // Категории для работающего математика = Categories for the working mathematician / Пер. с англ. под ред. В. А. Артамонова. — М.: Физматлит, 2004. — С. 17—42. — 352 с. — ISBN 5-9221-0400-4