Натуральне перетворення
Перейти до навігації
Перейти до пошуку
Натуральне перетворення — в теорії категорій це спосіб перетворення одного функтора в інший, зберігаючи структуру категорій, а саме композицію морфізмів. Тобто це «морфізм функторів».
Визначення[ред. | ред. код]
Приклади[ред. | ред. код]
Ненатуральний ізоморфізм[ред. | ред. код]
Категорія функторів[ред. | ред. код]
Лема Йонеди[ред. | ред. код]
Джерела[ред. | ред. код]
- С. Маклейн Категории для работающего математика, — М.: ФИЗМАТЛИТ, 2004. — 352 с — ISBN 5-9221-0400-4.