BabelNet

bn:03208102n

Noun Concept

Categories: Articles with short description, Functors

natural transformation functorial morphism identity natural transformation infranatural transformation natural

In category theory, a branch of mathematics, a natural transformation provides a way of transforming one functor into another while respecting the internal structure of the categories involved. Wikipedia

Definitions

Relations

Sources

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

IS A

HAS KIND

HAS INSTANCE

distributive law between monads

DISCOVERER OR INVENTOR

Saunders Mac Lane

Samuel Eilenberg

STUDIED BY