Feedback
Natural transformation
Meaning
Noun
●
In Category theory:
A
morphism
between a
pair
of
parallel
functors
such that
if each
object
of the
shared
domain
category
subtends
a
correlated
arrow
— called a
component
— in the
shared
codomain
(which
arrow
represents
the
difference
between
applying
the second
functor
and the first
functor
to the
correlated
object
) then each
arrow
of the
shared
domain
subtends
a
commuting
square
— called a
naturality
square
— between two
component
s (correlated to the
domain
and
codomain
of the
arrow
).
Sourced from
Wiktionary
Join 10 million students and professionals writing 70% faster at QuillBot.com
Start writing better