自然變換

自然變換是範疇論中的一個概念。

基本介紹

• 中文名：自然變換
• 外文名：natural transformation
  functorial morphism
• 所屬學科：範疇論
• 別名：函子態射

定義

給定兩個函子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中均為可逆態射，則稱τ為自然等價或自然同構。