最終更新日：2022/12/24
If H is another group object in C, a morphism f:G→H is a morphism of group objects if it commutes with the three structure morphisms; as is standard for sets and true generally (again by Lemma 7.7), it is enough to check 𝜇. Thus we form the category textit Gp(C) of all group objects in C; one important example is textit Gp( textit Ho).
編集履歴（0）
元となった例文
If
H
is
another
group
object
in
C,
a
morphism
f:G→H
is
a
morphism
of
group
objects
if
it
commutes
with
the
three
structure
morphisms;
as
is
standard
for
sets
and
true
generally
(again
by
Lemma
7.7),
it
is
enough
to
check
𝜇.
Thus
we
form
the
category
textit
Gp(C)
of
all
group
objects
in
C;
one
important
example
is
textit
Gp(
textit
Ho).
