最終更新日
:2023/09/05
Grothendieck universe
noun
(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).
意味(1)
(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).
復習用の問題
正解を見る
(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).
A Grothendieck universe is a set that satisfies certain properties in set theory.
正解を見る
A Grothendieck universe is a set that satisfies certain properties in set theory.
English Dictionary
項目の編集設定
- 項目の編集権限を持つユーザー - すべてのユーザー
- 項目の新規作成を審査する
- 項目の編集を審査する
- 項目の削除を審査する
- 重複の恐れのある項目名の追加を審査する
- 項目名の変更を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
例文の編集設定
- 例文の編集権限を持つユーザー - すべてのユーザー
- 例文の削除を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
問題の編集設定
- 問題の編集権限を持つユーザー - すべてのユーザー
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1