Last Updated：2022/12/24
And then there's the Yoneda Lemma embodied in the classical Gaussian row reduction operation, that a given row reduction operation (on matrices with say k rows) being a natural
operation (in the sense of natural transformations) is just multiplication (on the appropriate side) by the effect of that operation on the k-by-k identity matrix.
And dually for column-reduction operations :-)
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
Source Sentence
And
then
there's
the
Yoneda
Lemma
embodied
in
the
classical
Gaussian
row
reduction
operation,
that
a
given
row
reduction
operation
(on
matrices
with
say
k
rows)
being
a
"natural"
operation
(in
the
sense
of
natural
transformations)
is
just
multiplication
(on
the
appropriate
side)
by
the
effect
of
that
operation
on
the
k-by-k
identity
matrix.
