最終更新日:2022/12/24
An inverse limit has “natural projections” which are restrictions of the projections of the Cartesian product (to a domain which is the inverse limit). The reason why the projections are described as “natural” would be the following: besides the functor from an index poset to the inverse system, there is another functor from the same index poset to the inverse limit of that system, this functor being a constant functor. Then there is a natural transformation from the constant functor to the inverse limit’s functor: the components of such natural transformation are the said “natural projections”.
音声機能が動作しない場合はこちらをご確認ください
編集履歴(0)
元となった例文
An
inverse
limit
has
“natural
projections”
which
are
restrictions
of
the
projections
of
the
Cartesian
product
(to
a
domain
which
is
the
inverse
limit).
The
reason
why
the
projections
are
described
as
“natural”
would
be
the
following:
besides
the
functor
from
an
index
poset
to
the
inverse
system,
there
is
another
functor
from
the
same
index
poset
to
the
inverse
limit
of
that
system,
this
functor
being
a
constant
functor.
Then
there
is
a
natural
transformation
from
the
constant
functor
to
the
inverse
limit’s
functor:
the
components
of
such
natural
transformation
are
the
said
“natural
projections”.