Мы работаем над восстановлением приложения Unionpedia в Google Play Store
ИсходящиеВходящий
🌟Мы упростили наш дизайн для улучшения навигации!
Instagram Facebook X LinkedIn

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

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

Катего́рия мно́жеств — категория, объекты которой — множества, а морфизмы между множествами и  — все функции из в. Обозначается.

Содержание

  1. 5 отношения: Пустое множество, Система Цермело — Френкеля, Теория категорий, Маклейн, Саундерс, Ловер, Уильям.

  2. Базовые концепции теории множеств
  3. Основания математики

Пустое множество

Обозначение пустого множества Пусто́е мно́жество (в математике) — множество, не содержащее ни одного элемента.

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

Система Цермело — Френкеля

Система аксиом Цермело — Френкеля (ZF) является стандартной системой аксиом для теории множеств.

Посмотреть Категория множеств и Система Цермело — Френкеля

Теория категорий

Тео́рия катего́рий — раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов.

Посмотреть Категория множеств и Теория категорий

Маклейн, Саундерс

Са́ундерс (Со́ндерс) Макле́йн ((Leslie) Saunders Mac Lane Первое имя перестали употреблять ещё родители, а фамилию с пробелом стала писать его жена; 4 августа 1909, Тафтвилль, Коннектикут, США — 14 апреля 2005, Сан-Франциско, Калифорния, США) — американский, создатель (совместно с Самуэлем Эйленбергом) теории категорий.

Посмотреть Категория множеств и Маклейн, Саундерс

Ловер, Уильям

Уильям Ловер (англ. Francis William Lawvere, 9 февраля, 1937) — американский математик, известный за свои работы по теории категорий, теории топосов и философии математики.

Посмотреть Категория множеств и Ловер, Уильям

См. также

Базовые концепции теории множеств

Основания математики