Конец (теория категорий)
- Функтор — это отображение между категориями, которое сохраняет структуру и имеет обратный функтор.
- Коэнда функтора — это пара, состоящая из объекта X и сверхъестественной трансформации.
- Примеры функторов включают отображение между категориями сетов и симплициальными множествами.
- Геометрическая реализация функтора представляет собой композицию функтора продукта и дискретной топологии.
Полный текст статьи: