Содержание
5 отношения: Пустое множество, Система Цермело — Френкеля, Теория категорий, Маклейн, Саундерс, Ловер, Уильям.
- Базовые концепции теории множеств
- Основания математики
Пустое множество
Обозначение пустого множества Пусто́е мно́жество (в математике) — множество, не содержащее ни одного элемента.
Посмотреть Категория множеств и Пустое множество
Система Цермело — Френкеля
Система аксиом Цермело — Френкеля (ZF) является стандартной системой аксиом для теории множеств.
Посмотреть Категория множеств и Система Цермело — Френкеля
Теория категорий
Тео́рия катего́рий — раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов.
Посмотреть Категория множеств и Теория категорий
Маклейн, Саундерс
Са́ундерс (Со́ндерс) Макле́йн ((Leslie) Saunders Mac Lane Первое имя перестали употреблять ещё родители, а фамилию с пробелом стала писать его жена; 4 августа 1909, Тафтвилль, Коннектикут, США — 14 апреля 2005, Сан-Франциско, Калифорния, США) — американский, создатель (совместно с Самуэлем Эйленбергом) теории категорий.
Посмотреть Категория множеств и Маклейн, Саундерс
Ловер, Уильям
Уильям Ловер (англ. Francis William Lawvere, 9 февраля, 1937) — американский математик, известный за свои работы по теории категорий, теории топосов и философии математики.
Посмотреть Категория множеств и Ловер, Уильям
См. также
Базовые концепции теории множеств
- Биекция
- Дизъюнктное объединение
- Индикатор (математика)
- Инъекция (математика)
- Категория множеств
- Композиция функций
- Конечное множество
- Кортеж (информатика)
- Множество с отмеченной точкой
- Мультимножество
- Непересекающиеся множества
- Область значений функции
- Область определения функции
- Образ (математика)
- Обратная функция
- Объединение множеств
- Пересечение множеств
- Подмножество
- Предикат
- Пустое множество
- Разбиение множества
- Разность множеств
- Симметрическая разность
- Синглетон (математика)
- Сюръекция
- Тождественное отображение
- Универсальное множество
- Упорядоченная пара
- Функция (математика)