元となった辞書の項目
diagram
IPA(発音記号)
意味(1)
意味(3)
(category
theory)
A
functor
from
an
index
category
to
another
category.
The
objects
and
morphisms
of
the
index
category
need
not
have
any
internal
substance,
but
rather
merely
outline
the
connective
structure
of
at
least
some
part
of
the
diagram's
codomain.
If
the
index
category
is
J
and
the
codomain
is
C,
then
the
diagram
is
said
to
be
"of
type
J
in
C".
( plural )