Adjoint functors

Вики

Двойственность Исбелла

/

Двойственность Исбелла Определение и свойства функтора Функтор — это отображение между категориями, сохраняющее структуру.  Функтор является гомоморфизмом в категории множеств.  […]

Вики

Котройная гомология

/

Общая гомология Определение гомологии в алгебре Гомология в алгебре связана с тройными гомологиями объектов в категории C.  Тройная гомология объекта

Вики

Светоотражающая подкатегория

/

Отражающая подкатегория Определение отражающей подкатегории Полная подкатегория A категории B является отражающей, если для каждого B-объекта B существует A-объект A

Вики

Двойственность Исбелла

/

Двойственность Исбелла Определение и свойства функтора Функтор — это отображение между категориями, сохраняющее структуру.  Функтор является гомоморфизмом в категории множеств. 

Вики

Присоединение Квиллена

/

Примыкание Квиллена Определение и свойства соединений Квиллена Соединение Квиллена связывает две замкнутые модельные категории C и D, индуцируя соединение между

Вики

Подать заявку

/

Применять Определение и применение карри Карри — это функция, которая принимает функцию и возвращает новую функцию, которая применяет аргументы исходной

Вики

Присоединение Тензор-хом

/

Тензорно-гомологическое присоединение Основы тензорного соединения Тензорное произведение и гомо-функтор образуют сопряженную пару в математике.  Тензорное соединение является левым присоединением, а

Вики

Сопряженные функторы

/

Сопряженные функторы Определение сопряженных функторов Функтор F: C → D называется сопряженным слева к G: D → C, если для

Вики

Эквивалентность Морита

/

Эквивалентность Мориты Эквивалентность Мориты — отношение между кольцами, сохраняющее теоретико-кольцевые свойства.  Кольца эквивалентны по Морите, если их категории модулей аддитивно

Вики

Смена колец

/

Смена колец Расширение скаляров и ограничение скаляров связаны в теории модулей.  Расширение скаляров определяется как умножение на гомоморфизм.  Существует взаимно

Вики

Монада (теория категорий)

/

Монада (теория категорий) Монады — это категории, которые моделируют вычисления с учетом состояния или доступа к данным.  В функциональном программировании

Вики

Присоединение Тензор-дом

/

Тензорно-гомологическое присоединение Тензорное соединение образует сопряженную пару с hom-функтором.  Порядок следования членов в фразе «присоединение тензора к hom» отражает их

Вики

Свободный объект

/

Свободный объект Свободные объекты являются важными понятиями в математике и имеют множество применений.  Свободные объекты связаны с функторами, которые игнорируют

Вики

Категория Клейсли

/

Категория Kleisli Категория Клейсли связана с любой монадой T и эквивалентна категории свободных T-алгебр.  Категория Клейсли является одним из двух

Вики

Ваше расширение

/

Расширение Kan Расширения Kan — это обобщение ко- и левосопряженных функторов.  Они позволяют вычислять правые расширения вдоль функтора и имеют

Вики

Сопряженные функторы

/

Сопряженные функторы Сопряженные функторы в теории категорий связывают две категории C и D.  Функтор F: C → D является сопряженным

Вики

Изоморфизм категорий

/

Изоморфизм категорий Изоморфизм категорий требует существования взаимно обратных функторов F и G.  Изоморфные категории имеют одинаковые свойства, определенные в теории

Вики

Эквивалентность категорий

/

Эквивалентность категорий Эквивалентность категорий сохраняет все «категориальные» понятия и свойства.  Эквивалентность категорий может быть применена к эквалайзерам, продуктам и сопутствующим

Прокрутить вверх