Last Updated：2025/12/04
(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.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
group object
Edit Histories（0）
Source Word
group object
Noun
(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.
Japanese Meaning
圏論において、与えられた圏Cの中の対象Xで、群論における二項演算（掛け算）、単位元、逆元に対応する射が定義され、これらの射が結合性や逆元、単位元の存在に対応する性質を満たすような対象を指す。
Sense（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 ）
