(Q1442189)

English

natural transformation

morphism between two functors with the same domain and codomain; given two functors F,G: C → D, a family of D-morphisms ηₓ: F(x)→G(y) for each object x ∈ Ob(C) such that, for every C-morphism f: u→v, the identity ηᵥ∘F(f) = G(f)∘ηᵤ holds

Statements

0 references
0 references

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit