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