Functors

Вики

Полные и точные функторы

/

Полные и верные функторы Верный функтор — функтор, инъективный на hom-множествах.  Полный функтор — функтор, сюръективный на hom-множествах.  Полностью верный

Вики

Hom функтор

/

Функтор Hom Функтор Hom связывает объекты в категории с их внутренними Hom-объектами.  Закрытые категории обладают внутренним функтором Hom.  Внутренний функтор

Вики

Предпучок (теория категорий)

/

Предварительный пучок (теория категорий) Статья обсуждает понятие расширения Йонеды в теории категорий.  Расширение Йонеды позволяет определить левосопряженный функтор к некоторому

Вики

Диаграмма (теория категорий)

/

Диаграмма (теория категорий) Диаграмма в теории категорий является категориальным аналогом индексированного семейства в теории множеств.  Индексированное семейство множеств представляет собой

Вики

Производный функтор

/

Производный функтор Производные функторы играют важную роль в гомологической алгебре и теории категорий.  Они возникают при изучении точных последовательностей и

Вики

Простой набор

/

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

Вики

2-функтор

/

2-функтор 2-функтор в математике — морфизм между двумя 2-категориями.  Формальное определение 2-й категории включает обогащение с помощью Cat.  2-й функтор

Вики

Конец (теория категорий)

/

Конец (теория категорий) Функтор — это отображение между категориями, которое сохраняет структуру и имеет обратный функтор.  Коэнда функтора — это

Вики

Категория функтора

/

Категория функторов Категория функторов разделяет большинство «приятных» свойств исходной категории.  Лемма Йонеды позволяет внедрить категорию в категорию функторов.  Внедрение категории

Вики

Функтор

/

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

Вики

Забытый функтор

/

Забывчивый функтор Забывчивые функторы удаляют аксиомы, предикаты или типы из структуры категорий.  Функторы первого рода удаляют аксиомы, второго рода —

Вики

Естественная трансформация

/

Естественная трансформация Естественные преобразования играют важную роль в алгебраической топологии и теории категорий.  Они связывают функторы и естественные преобразования, такие

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