元となった辞書の項目
group object
名詞
(category
theory)
Given
a
category
C,
any
object
X
∈
C
on
which
morphisms
are
defined
corresponding
to
the
group
theoretic
concepts
of
a
binary
operation
(called
multiplication),
identity
and
inverse,
such
that
multiplication
is
associative
and
properties
are
satisfied
that
correspond
to
the
existence
of
inverse
elements
and
the
identity
element.
日本語の意味
圏論において、与えられた圏Cの中の対象Xで、群論における二項演算（掛け算）、単位元、逆元に対応する射が定義され、これらの射が結合性や逆元、単位元の存在に対応する性質を満たすような対象を指す。
意味（1）
(category
theory)
Given
a
category
C,
any
object
X
∈
C
on
which
morphisms
are
defined
corresponding
to
the
group
theoretic
concepts
of
a
binary
operation
(called
multiplication),
identity
and
inverse,
such
that
multiplication
is
associative
and
properties
are
satisfied
that
correspond
to
the
existence
of
inverse
elements
and
the
identity
element.
（ plural ）
