最終更新日：2024/08/06
(category theory) Said of a category or topos: that it has a terminal object (or that it has no zero object, if it is a topos) and in which any distinct pair of parallel morphisms can be distinguished by their distinct compositions with a global element of their domain; i.e. any pair of parallel morphisms is distinct if and only if there is a global element in their domain that does not equalize them.
正解を見る
well-pointed
編集履歴（0）
元となった辞書の項目
well-pointed
adj
(category
theory)
Said
of
a
category
or
topos:
that
it
has
a
terminal
object
(or
that
it
has
no
zero
object,
if
it
is
a
topos)
and
in
which
any
distinct
pair
of
parallel
morphisms
can
be
distinguished
by
their
distinct
compositions
with
a
global
element
of
their
domain;
i.e.
any
pair
of
parallel
morphisms
is
distinct
if
and
only
if
there
is
a
global
element
in
their
domain
that
does
not
equalize
them.
意味（1）
(category
theory)
Said
of
a
category
or
topos:
that
it
has
a
terminal
object
(or
that
it
has
no
zero
object,
if
it
is
a
topos)
and
in
which
any
distinct
pair
of
parallel
morphisms
can
be
distinguished
by
their
distinct
compositions
with
a
global
element
of
their
domain;
i.e.
any
pair
of
parallel
morphisms
is
distinct
if
and
only
if
there
is
a
global
element
in
their
domain
that
does
not
equalize
them.
