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 ）
