Natural Transformation between Contravariant Hom Functors
Автор: CategoryTheoryProofs
Загружено: 2023-08-24
Просмотров: 322
Описание:
Proof that there are natural transformations between any two contravariant hom functors in any category.
Proof that we can completely characterize all of the possible natural transformations between them and that they correspond one-to-one with the morphisms between the target objects of the two hom functors.
CORRECTION: The final step in the equation at 14:00 should have "follow by b", not "preceed by b" at the end (the arrow should be pointing to the left).
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке: