Registry · Definition
IV.D519
established
not_formalized
IV.D519 — Natural Transformation
A natural transformation : F G between functors F, G: C D is a family of morphisms _A: F(A) G(A)
A natural transformation : F G between functors F, G: C D is a family of morphisms _A: F(A) G(A)