Стэнфордский университет
Стэнфордский университет Стэнфордский университет — частный исследовательский университет в США, основанный в 1885 году. Университет занимает 3-е место в рейтинге […]
Вики
Вики
Стэнфордская энциклопедия философии
Стэнфордская энциклопедия философии Стэнфордская энциклопедия философии (SEP) — онлайн-философский ресурс, издаваемый и поддерживаемый Стэнфордским университетом. Каждая статья написана и поддерживается
Вики
Краткое содержание теории категорий
Основные положения теории категорий Теория категорий — область математики, изучающая свойства математических понятий через формализацию их в виде наборов объектов
Вики
Глоссарий теории категорий
Глоссарий по теории категорий Статья представляет собой глоссарий свойств и понятий теории категорий в математике. В статье игнорируются вопросы теории
Вики
Расширенная категория
Обогащенная категория Расширенные категории обогащают обычные категории дополнительной структурой или свойствами. Примеры обогащенных категорий включают категории, обогащенные моноидальными категориями. Обогащенные
Вики
Стивен Шануэль
Стивен Шануэл Стивен Х. Шануэл был американским математиком, работающим в области абстрактной алгебры и теории категорий. Он открыл важную лемму
Вики
Уильям Ловер
Уильям Лоувер Уильям Лоувер — американский математик, известный своими работами в области теории категорий. Он внес значительный вклад в топологию
Вики
Гуэрино Маццола
Гверино Маццола Статья представляет собой список книг и компакт-дисков, связанных с музыкой и математикой. Книги и компакт-диски охватывают различные темы,
Вики
Диаграмма Фейнмана
Диаграмма Фейнмана Фейнмановские диаграммы используются для описания взаимодействия фермионного и бозонного полей. Интеграл по траектории определяет амплитуду вероятности перехода между
Вики
Джон К. Баэз
Джон К. Баэз Джон К. Баэз — американский физик-математик и профессор математики в Калифорнийском университете в Риверсайде. Он работал над
Вики
Прикладная теория категорий
Прикладная теория категорий Прикладная теория категорий — академическая дисциплина, использующая методы теории категорий для изучения других областей. Применение теории категорий
Вики
Лямбда-исчисление
Лямбда-исчисление Лямбда-исчисление — формальное исчисление для описания вычислений с использованием лямбда-терминов. Лямбда-термины представляют собой выражения, которые могут быть вычислены с
Вики
Декартова закрытая категория
Декартова замкнутая категория Декартова замкнутая категория — категория с замкнутыми обратными связями и изоморфизмом между произведениями. Функциональный уровень программирования может
Вики
Теория предметной области
Теория предметной области Теория предметных областей изучает свойства и отношения между элементами в математических структурах. Домены являются важными понятиями в
Вики
Интуиционистская логика
Интуитивистская логика Интуиционистская логика основана на принципе исключенного третьего и избегает неконструктивных доказательств. Интуиционистская логика является более консервативной, чем классическая
Вики
Теория типов
Теория типов Теория типов — это система, которая определяет отношения между терминами и типами. Термины могут быть атомарными, функциональными или
Вики
Бессмысленная топология
Бессмысленная топология Бессмысленная топология основана на концепции «реалистичного пятна» вместо точки без протяженности. Топологическое пространство состоит из множества точек и
Вики
Сноп (математика)
Связка (математика) Пучки — это обобщение понятия векторного пространства на топологические пространства. Пучки имеют структуру, аналогичную векторным пространствам, с морфизмами
Вики
Конструктивизм (философия математики)
Конструктивизм (философия математики) Конструктивизм в математике — направление, основанное на конструктивном подходе к анализу и логике. Конструктивисты утверждают, что только