Category theory MOC

Natural transformation

A natural transformation is a morphism in a so-called functor category, that is it is a morphism between two functors, or a 2-morphism in ℭ𝔞𝔱. If 𝐹,𝐺 :𝖢 →𝖣, then a natural transformation 𝜂 :𝐹 ⇒𝐺 :𝖢 →𝖣 consists of a morphism 𝜂𝑋 :𝐹𝑋 →𝐹𝑌 for every 𝑋 ∈𝖢 such that the following diagram commutes: #m/def/cat

i.e. 𝜂𝑌 𝐹𝑓 =𝐺𝑓 𝜂𝑋 for every 𝑋,𝑌 ∈𝖢.¹

A slight generalization is an (Extra)natural transformation.

Properties

• The most fundamental result in category theory: the Yoneda lemma
• Identity natural transformation
• If 𝜂𝑋 :𝐹𝑋 →𝐺𝑋 is an isomorphism for every 𝑋 ∈𝖢, then it is called a Natural isomorphism and we say 𝐹 ≅𝐺.

#state/tidy | #SemBr | #lang/en