Natural transformation

cosmos 11th November 2017 at 3:10pm
Category theory

A Morphism between Functors

Let F,G:CDF,G: \mathcal{C} \to \mathcal{D} be Functors. A natural transformation t:FGt: F \Rightarrow G is a family of D\mathcal{D}-morphisms

tA:FAGAt_A : FA \to GA

indexed by objects AA of C\mathcal{C} such that for all f:ABf:A \to B,

If each tAt_A is an Isomorphism, we say that tt is a Natural isomorphism.

Meaning of "natural transformation/isomorphism in variables" when not specifying functor explicitely

Notes

Vertical and horizontal composition of natural transformations