最終更新日：2024/08/05
(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.
正解を見る
group object
編集履歴（0）
元となった辞書の項目
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.
