検索結果- 英語 - 英語
検索内容:
presheaf
名詞
(category
theory,
algebraic
geometry)
A
contravariant
functor
whose
domain
is
a
category
whose
objects
are
open
sets
of
a
topological
space
and
whose
morphisms
are
inclusion
mappings.
The
functorial
images
of
the
open
sets
are
sets
of
things
called
sections
which
are
said
to
be
"over"
those
open
sets.
The
(contravariant)
functorial
images
of
those
inclusion
mappings
are
functions
which
are
called
restrictions.
日本語の意味
前層：トポロジー空間の開集合を対象、その包含写像を射とする圏からの反変関手として定義される。各開集合に対して、その関手はその集合上の断面（セクション）と呼ばれる要素集合を割り当て、包含写像に対応して制限写像（リストリクション）を与える。
関連語
