最終更新日：2022/12/24
It is often convenient to view a monic arrow i:A↣C, defined in Chapter 1, as showing that A is a copy of a part of C, and that i maps the copy on to that part. For example, in Set, the monic arrows are the one-to-one functions and, clearly, if i is one-to-one then A is a copy of a subset of C, namely of the image of i.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
元となった例文
It
is
often
convenient
to
view
a
monic
arrow
i:A↣C,
defined
in
Chapter
1,
as
showing
that
A
is
a
copy
of
a
part
of
C,
and
that
i
maps
the
copy
on
to
that
part.
For
example,
in
Set,
the
monic
arrows
are
the
one-to-one
functions
and,
clearly,
if
i
is
one-to-one
then
A
is
a
copy
of
a
subset
of
C,
namely
of
the
image
of
i.
