∞-группоид — Википедия
∞-группоид Определение глобулярных группоидов Глобулярные группоиды — это категории, которые являются группоидами в каждом гомологическом слое. Они являются обобщением фундаментальных […]
Вики
Основы математики
Вики
Теория высших категорий — Википедия
Теория высших категорий Основы теории высших категорий Теория высших категорий расширяет теорию категорий, добавляя стрелки для изучения структуры равенств. Применяется
Вики
Теория высших категорий — Википедия
Теория высших категорий Основы теории высших категорий Теория высших категорий расширяет теорию категорий, добавляя стрелки для изучения структуры равенств. Применяется
Вики
Зависимый тип — Википедия
Зависимый тип Основы теории зависимых типов Теория зависимых типов (ТДТ) расширяет систему типов, добавляя зависимые типы. Зависимые типы позволяют выражать
Вики
Теория множеств фон Неймана–Бернейса–Гёделя — Википедия
Теория множеств Фон Неймана–Бернейса–Геделя Основы теории множеств Теория множеств — это раздел математики, изучающий свойства множеств. Множество — это набор
Вики
Основы математики — Википедия
Основы математики История математики Математика возникла из практических потребностей, таких как измерение и торговля. Греки внесли значительный вклад в математику,
Вики
Интуиционистская теория типов — Википедия
Интуиционистская теория типов Основы теории типов Теория типов — это формальная система, которая описывает типы и объекты в математике. Она
Вики
Теория гомотопических типов — Википедия
Теория гомотопических типов Основы теории гомотопических типов Теория гомотопических типов (HoTT) — это математическая теория, которая изучает свойства непрерывных преобразований
Вики
∞-топос — Википедия
∞-топос Определение ∞-топоса ∞-топос — это ∞-категория, объекты которой ведут себя как пучки пространств. Прототип — ∞-категория пучков пространств в
Вики
∞-группоид — Википедия
∞-группоид Определение θ-группоида θ-группоид — абстрактная гомотопическая модель для топологических пространств в теории категорий. Обобщение группоида в ∞-категории, где каждый
Вики
Топос — Википедия
Клише Определение топоса Топос — это категория с конечными пределами и классификатором подобъектов. Топосы являются фундаментальными в математике, включая топологию,
Вики
Топос — Википедия
Клише Определение топоса Топос — это категория с конечными пределами и классификатором подобъектов. Топосы являются фундаментальными в математике, включая топологию,
Вики
Топос — Википедия
Клише Определение топоса Топос — это категория с конечными пределами и классификатором подобъектов. Топосы являются фундаментальными в математике, включая топологию,
Вики
Топос — Википедия
Клише Определение топоса Топос — это категория с конечными пределами и классификатором подобъектов. Топосы являются фундаментальными в математике, включая топологию,
Вики
Топос — Википедия
Клише Определение топоса Топос — это категория с конечными пределами и классификатором подобъектов. Топосы являются фундаментальными в математике, включая топологию,
Вики
Категория наборов — Википедия
Категория наборов Определение категории множеств Категория множеств — это категория, объекты которой являются множествами, а морфизмы — отображениями множеств. Множество
Вики
Теория множеств Цермело–Френкеля — Википедия
Теория множеств Цермело–Френкеля Основы теории множеств Теория множеств — это раздел математики, изучающий свойства множеств. Множество — это набор объектов,
Вики
Топос — Википедия
Клише Топос — это категория, которая ведет себя подобно категории Пучков множеств в топологическом пространстве. Топосы во многом напоминают категорию
Вики
Связь математики и физики — Википедия
Взаимосвязь между математикой и физикой Взаимосвязь между математикой и физикой является предметом изучения философов, математиков, физиков, историков и педагогов. Математика
Вики
Основы математики — Википедия
Основы математики Основы математики — логико-математическая основа для развития математики без противоречивых теорий. Термин «основы математики» введен в обиход в
Вики
Теория множеств Цермело–Френкеля — Википедия
Теория множеств Цермело–Френкеля Теория множеств — раздел математики, изучающий свойства множеств и их отношений. Аксиомы теории множеств являются основными утверждениями,