Математическая логика
Математическая логика Логика первого порядка — это формальная система, используемая для изучения математических утверждений. Она включает в себя конечные выражения […]
Вики
Вики
Алгебраическая структура
Алгебраическая структура Алгебраическая структура — это набор элементов и операций, определяющих математическую структуру. Примеры алгебраических структур включают группы, поля и
Вики
Универсальная алгебра
Универсальная алгебра Универсальная алгебра — раздел математики, изучающий алгебраические системы с различными операциями. Универсальная алгебра объединяет различные классы алгебр и
Вики
Схема (математика)
Схема (математическая) Схема — абстрактное пространство, связанное с алгебраической структурой. Схема может быть определена как множество точек с координатным кольцом
Вики
Эмми Нётер
Эмми Нетер Эмми Нетер была выдающимся математиком, внесшим значительный вклад в теорию идеалов и абстрактную алгебру. Она получила докторскую степень
Вики
Станислав Улам
Станислав Улам Улам и Теллер внесли значительный вклад в разработку водородной бомбы. Улам изобрел аналоговый компьютер FERMIAC для моделирования случайной
Вики
Гомологическая алгебра
Гомологическая алгебра Гомологическая алгебра изучает гомологии и когомологии топологических пространств и других алгебраических объектов. Гомологии и когомологии связаны с гомоморфизмами
Вики
Гомологии (математика)
Гомология (математика) Гомологии — это математические структуры, связанные с топологическими пространствами. Гомологии используются для изучения топологических свойств пространств и их
Вики
Теория групп
Теория групп Теория групп изучает свойства и взаимодействия между множествами элементов, которые обладают определенными операциями. Группы могут быть изоморфными, что
Вики
Хронология теории категорий и связанной с ней математики
Хронология развития теории категорий и связанной с ней математики Статья представляет собой обзор истории и развития теории категорий и топосов
Вики
Рональд Браун (математик)
Рональд Браун (математик) Рональд Браун — английский математик, почетный профессор школы компьютерных наук Бангорского университета. Браун является автором множества книг
Вики
Алгебра многомерных измерений
Многомерная алгебра Многомерная алгебра изучает категоризированные структуры в математике, особенно в теории высших категорий. Концепция многомерных категорий включает 2-ю категорию
Вики
Порядковый номер
Порядковый номер Ординалы — это упорядоченные множества натуральных чисел, которые могут быть бесконечными. Порядковый номер — это число, которое указывает
Вики
Квазикатегория
Квазикатегория Квазикатегория — категория, в которой не определены законы композиции морфизмов. Гомотопическая категория связана с квазикатегорией и имеет объекты, представляющие
Вики
Натуральное число
Натуральное число Натуральные числа — это числовые объекты, которые используются для счета и упорядочивания. Они обладают алгебраическими свойствами, такими как
Вики
Бикатегория
Двухкатегория Бикатегория — понятие в теории категорий для расширения категории, когда композиция морфизмов не строго ассоциативна. Введение бикатегории было сделано
Вики
Строгая 2-категория
Строгая 2-я категория 2-я категория — категория с «морфизмами между морфизмами», обогащенная по сравнению с категорией категорий и функторов. Понятие
Вики
Теория высших категорий
Теория высших категорий Теория высших категорий является частью теории категорий более высокого порядка. Теория высших категорий применяется в алгебраической топологии,
Вики
Сопряженные функторы
Сопряженные функторы Сопряженные функторы в теории категорий связывают две категории C и D. Функтор F: C → D является сопряженным
Вики
Двойственный (теория категорий)
Дуализм (теория категорий) В теории категорий двойственность соответствует соответствию между свойствами категории C и двойственными свойствами противоположной категории Cop. Двойственность