自然变换
范畴论概念
自然变换是范畴论中的一个概念。
定义
给定两个函子S,T:C→B，自然变换τ:ST对C中每个对象c，给定B中态射τc=τc:Sc→Tc，满足对C中任意态射f:c→c'，有Tf·τc=τc'·Sf。
相关概念
τc:Sc→Tc在c上有自然性。
若自然变换τ的每个分量τc在B中均为可逆态射，则称τ为自然等价或自然同构。
参考资料
最新修订时间：2024-05-21 17:19
条目作者
小编
目录
概述
定义
相关概念
参考资料

Copyright©2024 闽ICP备2024072939号-1