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