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

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

Визначення

ред.

Приклади

ред.

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

ред.

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

ред.

Лема Йонеди

ред.

Джерела

ред.
  • С. Маклейн Категории для работающего математика, — М.: ФИЗМАТЛИТ, 2004. — 352 с — ISBN 5-9221-0400-4.