元となった辞書の項目
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.
意味（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.
