Naravna transformacija

Iz MaFiRaWiki

Ta članek ali del članka je v delu. Veseli bomo, če ga boste dopolnili in popravili.

Kaj pomeni to opozorilo?

Naravna transformacija \eta : F \Rightarrow G med funktorjema F : C \to D in G : C \to D je družina morfizmov (\eta_A : F(A) \to G(A))_{A \in C}, tako da velja za vsak f : A \to B v C

G(f) \circ \eta_A = \eta_B \circ F(g).

Glej tudi

Osebna orodja