Натуральне перетворення

Матеріал з Вікіпедії — вільної енциклопедії.
Версія від 18:38, 26 листопада 2017, створена SOMBot (обговорення | внесок) (більше не розпізнається як ізольована)
(різн.) ← Попередня версія | Поточна версія (різн.) | Новіша версія → (різн.)
Перейти до навігації Перейти до пошуку
Перевірена версія цієї сторінки, затверджена 26 листопада 2017, заснована на цій версії.

Натуральне перетворення — в теорії категорій це спосіб перетворення одного функтора в інший, зберігаючи структуру категорій, а саме композицію морфізмів. Тобто це «морфізм функторів».

Визначення

[ред. | ред. код]

Приклади

[ред. | ред. код]

Ненатуральний ізоморфізм

[ред. | ред. код]

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

[ред. | ред. код]

Лема Йонеди

[ред. | ред. код]

Джерела

[ред. | ред. код]
  • С. Маклейн Категории для работающего математика, — М.: ФИЗМАТЛИТ, 2004. — 352 с — ISBN 5-9221-0400-4.
Отримано з https://uk.wikipedia.org/w/index.php?title=Натуральне_перетворення&oldid=21511934