natural transformation (Q1442189)
transformation between two functors studied in category theory
Language:
Current Data About natural transformation
(P31) (Q12202238)

(P61) (Q535833)
(P585) +1945-00-00T00:00:00Z
(P248)

(Q441223)
(P585) +1945-00-00T00:00:00Z
(P248)

(P279) (Q856215)
(P642)

(Q1948412)
(P642)

(P1963) (P1568)
(P31)

(P1571)
(P31)

(P2534) \forall X,Y\in\operatorname{ob}\mathcal C \forall f\colon X\to Y \colon \eta_Y\circ F(f) = G(f)\circ\eta_X

(P2579) (Q217413)

(P5555) Natural transformation.svg

(P6104) (Q8487137)

(P7235) \eta
(P9758)