Inter-universal geometry とABC 予想49at MATHInter-universal geometry とABC 予想49 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト504:１３２人目の素数さん 22/05/22 15:15:37.56 b7Ey/EsL.net まぁ同型な物を同じとみなすと言うのが無理ではないし実際圏論の基本でもある ある圏Cが与えられてそこに“同型ではあるが同じではない対象”があってそれが後の議論の妨げになる場合とか出てくる、別の圏Dに対して関手の圏Fun(C,D)とか作るときCが小さい圏でないと定義できないが、その“圏の巨大さ”が“同型だが等しない対象”が存在する事に起因する場合などがそれ 例えばそんな場合ならCの同型類から一つずつ代表元を選んでおいてそれら代表元から構成される充満部分圏C₀をとってくればCとC₀は圏として“同型”でFun(C₀,D)はちゃんと定義できてこのFun(C₀,D)で代用して議論進めるというのは基本中の基本テク ”Qの代数拡大全体の圏”とか取り扱う時は必ず使うテクのひとつ、なんせZariski Siteとかが既にある意味Functor categoryだしな しかしこの“同型だが違う物(楕円曲線？の同型類？)をきちんと区別する”としたら何故か新理論が誕生したとかちょっと有り得んわな 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch