自然變換

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

基本介紹

  • 中文名:自然變換
  • 外文名:natural transformation
    functorial morphism
  • 所屬學科範疇論
  • 別名:函子態射
定義,相關概念,

定義

給定兩個函子S,T:C→B,自然變換τ:S
T對C中每個對象c,給定B中態射τc=τc:Sc→Tc,滿足對C中任意態射f:c→c',有Tf·τc=τc'·Sf。

相關概念

τc:Sc→Tc在c上有自然性
若自然變換τ的每個分量τc在B中均為可逆態射,則稱τ為自然等價自然同構

相關詞條

熱門詞條

聯絡我們