更新时间：2024-05-21 17:19
自然变换是范畴论中的一个概念。
给定两个函子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中均为可逆态射，则称τ为自然等价或自然同构。