20/05/23 09:50:52 jlNBK+nU.net
>>677
ついでに
＜宇宙＆Grothendieck universe axiomについて＞
URLﾘﾝｸ(webcache.googleusercontent.com)
これは Google に保存されている URLﾘﾝｸ(pantodon.shinshu-u.ac.jp) のキャッシュです。 このページは 2020年4月23日 17:36:31 GMT に取得されたものです。
集合と写像に関する基本的な概念
(抜粋)
次 の 概 念 は “ 集 合 の 集 合 ” を 扱 うときに 必 要 になる 。 SGA4 [ SGA72 ] の Expose I に ある Bourbaki による appindix をみるとよい 。
universe
例 えば , 位 相 空 間 の category とか Abel 群 の category とかを 考 えると きには , 意 識 しなければならない 。
Grothendieck と Verdier の アイデア は , universe を 一 つ 固 定 してその 中 で 議 論 し , 必 要 にな っ たらその universe を 含 む 少 し 大 きな universe で 考 えるようにする , というものである 。
そうすると , category theory 的 な 構 成 が 選 んだ universe に 依 るのではないか , という 疑 問 が 起 きるが , それについては Low [ Low ] が locally presentable category の 間 の accessible functor に 対 する adjoint は universe に 依 らないということを 示 して いる 。
つづく