ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 英語
検索内容:
Grothendieck universe
名詞
(mathematics,
category
theory)
A
kind
of
universal
set
whose
elements
follow
the
rules
of
Zermelo–Fraenkel
set
theory,
and
for
which,
with
respect
to
an
arbitrary
set,
an
instance
of
its
kind
which
has
that
set
as
a
member
may
be
posited
to
exist
through
an
additional
Tarski–Grothendieck
axiom
(which
is
not
part
of
ZF
but
augments
it,
yielding
Tarski–Grothendieck
set
theory).
日本語の意味
数学・圏論における概念で、Zermelo–Fraenkel集合論の規則に従う要素を持つ普遍的な集合の一種です。追加のTarski–Grothendieck公理を用いることで、その集合に特定の集合を含むような類似の集合が存在すると仮定できる点が特徴です。
関連語
universal morphism
名詞
日本語の意味
圏論において、ある関手と固定対象に対して、関手から固定対象へのコマ圏の終対象（ターミナルオブジェクト）または、対になって固定対象から関手へのコマ圏の始対象（初期オブジェクト）として定義される普遍的な射を指す。
関連語
Grothendieck universes
universal instruments
universal levers
loading!
Loading...
