Natural Transformations: Definition and Properties
Автор: CategoryTheoryProofs
Загружено: 2023-08-09
Просмотров: 407
Описание:
Presenting the definition of a Natural Transformation between two functors, as well as a Natural Isomorphism Between Two Functors.
Proving that Natural Isomorphisms have "inverses" which are also Natural Isomorphisms, and that the Natural Transformations are closed under composition.
CORRECTION: At 6:30 I wrote that lambda_A after lambda_A_inverse cancels to 1_GA, but in fact it cancels to 1_HA. Other than that, the rest of the proof is correct.
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке: