Русская Википедия:Диагональный функтор

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

Диагональный функтор <math>\Delta \colon \mathcal{C} \rightarrow \mathcal{C}^\mathcal{J}</math> (<math>\mathcal{C}^\mathcal{J}</math> — категория функторов из малой категории <math>\mathcal{J}</math> в произвольную категорию <math>\mathcal{C}</math>) сопоставляет каждому объекту категории <math>\mathcal{C}</math> постоянный функтор, отправляющий все объекты <math>\mathcal{J}</math> в этот объект, а все морфизмы — в тождественный морфизм. Каждому морфизму в <math>\mathcal{C}</math> он сопоставляет очевидное естественное преобразование функторов. Часто рассматривают случай, когда <math>\mathcal{J}</math> — дискретная категория из двух объектов, в этом случае получается функтор <math>\mathcal{C} \rightarrow \mathcal{C} \times \mathcal{C}</math>.

Диагональный функтор предоставляет способ определить пределы и копределы функторов. Операция взятия предела диаграммы типа <math>\mathcal{J}</math> (если все пределы этого типа в категории существуют) — это функтор <math>\mathcal{C}^\mathcal{J} \rightarrow \mathcal{C}</math>, оказывается что функтор предела является правым сопряжённым к диагональному функтору. Соответственно, функтор копредела, если все копределы нужного типа существуют, — левый сопряжённый к диагональному.

Литература