最終更新日：2022/12/24
A cone is an object (the apex) and a natural transformation from a constant functor (whose image is the apex of the cone and its identity morphism) to a diagram functor. Its components are projections from the apex to the objects of the diagram and it has a “naturality triangle” for each morphism in the diagram. (A “naturality triangle” is just a naturality square which is degenerate at its apex side.)
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
元となった例文
A
cone
is
an
object
(the
apex)
and
a
natural
transformation
from
a
constant
functor
(whose
image
is
the
apex
of
the
cone
and
its
identity
morphism)
to
a
diagram
functor.
Its
components
are
projections
from
the
apex
to
the
objects
of
the
diagram
and
it
has
a
“naturality
triangle”
for
each
morphism
in
the
diagram.
(A
“naturality
triangle”
is
just
a
naturality
square
which
is
degenerate
at
its
apex
side.)
