圏論的解析学 (77ﾚｽ)
圏論的解析学 http://rio2016.5ch.net/test/read.cgi/math/1737427349/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
1: １３２人目の素数さん [] 2025/01/21(火) 11:42:29.23 ID:GYo9MeH8 収束を普遍性、不等式を射として扱えば、解析学を圏論的に定式化できるのではないか？ http://rio2016.5ch.net/test/read.cgi/math/1737427349/1
2: １３２人目の素数さん [sage] 2025/01/21(火) 11:46:41.43 ID:L4YtUQ+F 糞スレかそうでないかそれが問題だ http://rio2016.5ch.net/test/read.cgi/math/1737427349/2
3: １３２人目の素数さん [sage] 2025/01/21(火) 12:25:18.63 ID:L4YtUQ+F 収束と不等式だけで解析が記述できると http://rio2016.5ch.net/test/read.cgi/math/1737427349/3
4: １３２人目の素数さん [] 2025/01/21(火) 13:01:00.87 ID:qq5FkSsh >>3 ？ http://rio2016.5ch.net/test/read.cgi/math/1737427349/4
5: １３２人目の素数さん [sage] 2025/01/21(火) 13:54:16.63 ID:L4YtUQ+F >>4 ？？ http://rio2016.5ch.net/test/read.cgi/math/1737427349/5
6: １３２人目の素数さん [] 2025/01/21(火) 15:14:27.86 ID:qq5FkSsh >>3 イミフ http://rio2016.5ch.net/test/read.cgi/math/1737427349/6
7: １３２人目の素数さん [sage] 2025/01/21(火) 15:27:28.49 ID:Na//0LcX 圏論の枠組みだけ使ったら解析的な情報は出ないだろ 一部論法で使えるかもってレベルの話でしかない http://rio2016.5ch.net/test/read.cgi/math/1737427349/7
8: １３２人目の素数さん [sage] 2025/01/21(火) 15:53:31.95 ID:L4YtUQ+F >>6 字句通り http://rio2016.5ch.net/test/read.cgi/math/1737427349/8
9: １３２人目の素数さん [sage] 2025/01/21(火) 16:24:56.39 ID:L4YtUQ+F ここまで反論がないので糞スレ確定 http://rio2016.5ch.net/test/read.cgi/math/1737427349/9
10: １３２人目の素数さん [sage] 2025/01/21(火) 16:32:54.96 ID:L4YtUQ+F 具体的な話を持ちださず、？と聞くところがポイント http://rio2016.5ch.net/test/read.cgi/math/1737427349/10
11: １３２人目の素数さん [sage] 2025/01/21(火) 16:35:06.26 ID:L4YtUQ+F 圏論の一般化は何？ https://rio2016.5ch.net/test/read.cgi/math/1734964956/ http://rio2016.5ch.net/test/read.cgi/math/1737427349/11
12: １３２人目の素数さん [sage] 2025/01/21(火) 16:35:17.32 ID:L4YtUQ+F 圏論、カテゴリー論 その２ https://rio2016.5ch.net/test/read.cgi/math/1724056087/ http://rio2016.5ch.net/test/read.cgi/math/1737427349/12
13: １３２人目の素数さん [sage] 2025/01/21(火) 16:35:50.56 ID:L4YtUQ+F 落ちこぼれの発想 http://rio2016.5ch.net/test/read.cgi/math/1737427349/13
14: １３２人目の素数さん [sage] 2025/01/21(火) 16:37:30.69 ID:L4YtUQ+F もっと簡単な話がいいと思うの http://rio2016.5ch.net/test/read.cgi/math/1737427349/14
15: １３２人目の素数さん [] 2025/01/21(火) 16:47:35.11 ID:aqbL+t6X >>7 大丈夫か？数学やったことあるか？ お前の言ってんの、「位相空間論だけからは実数の連続性は出てこない」とか「測度論だけからはルベーグ測度の構成は出てこない」とか言ってるようなもんだぞ http://rio2016.5ch.net/test/read.cgi/math/1737427349/15
16: １３２人目の素数さん [sage] 2025/01/21(火) 16:48:42.92 ID:L4YtUQ+F 剣呑だな http://rio2016.5ch.net/test/read.cgi/math/1737427349/16
17: １３２人目の素数さん [sage] 2025/01/21(火) 16:50:00.32 ID:L4YtUQ+F 新しいのが噛みついてきたな http://rio2016.5ch.net/test/read.cgi/math/1737427349/17
18: １３２人目の素数さん [sage] 2025/01/21(火) 16:55:24.91 ID:L4YtUQ+F ポイントは http://rio2016.5ch.net/test/read.cgi/math/1737427349/18
19: １３２人目の素数さん [] 2025/01/21(火) 17:10:03.83 ID:KF8afvgS ハウスドルフ空間でないと、極限が一意に定まらないから、位相空間の概念をそのまま圏の概念に対応させるだけじゃ、上手くいかなそう http://rio2016.5ch.net/test/read.cgi/math/1737427349/19
20: １３２人目の素数さん [] 2025/01/21(火) 17:14:17.99 ID:KF8afvgS なんかこれ、前にもどこかで言った記憶あるな http://rio2016.5ch.net/test/read.cgi/math/1737427349/20
21: １３２人目の素数さん [] 2025/01/21(火) 17:23:32.12 ID:IntAah0m 点列の収束は、有向集合Jを小さい圏とみなして、Jから別の圏への関手の性質として定式化できる 個別の点列の収束ではなく、ある空間上の任意の点列が集積点を持つかどうか（コンパクト性）、それが一意かどうか（ハウスドルフ性）も、圏論では固有射や分離射として定式化できる 関数の連続性や微分可能性のような局所的な性質が延長できるかは層やトポスの概念がある まあ、色々な方向への一般化があるだろう http://rio2016.5ch.net/test/read.cgi/math/1737427349/21
22: １３２人目の素数さん [sage] 2025/01/21(火) 17:27:37.00 ID:Na//0LcX >>15 構造の包含じゃなくて必要あるかと言っている 解析は評価してナンボだろ。何か異なる関数空間の間で随伴でも考えて 計算を単純にできるとか具体例がないと http://rio2016.5ch.net/test/read.cgi/math/1737427349/22
23: １３２人目の素数さん [] 2025/01/21(火) 17:29:31.01 ID:zi3DULT8 >>22 自分が必要ないと思うなら、関わらなきゃいいじゃん たかだか5chのスレなんだし http://rio2016.5ch.net/test/read.cgi/math/1737427349/23
24: １３２人目の素数さん [sage] 2025/01/21(火) 17:30:57.05 ID:L4YtUQ+F 15の噛みつきポイントは圏論とは独立した話をしてるとこ http://rio2016.5ch.net/test/read.cgi/math/1737427349/24
25: １３２人目の素数さん [] 2025/01/21(火) 17:49:10.90 ID:zi3DULT8 スレッドに分かれていて、見ないという選択が容易にできるのに なぜわざわざリンクを開いて「興味がない」と書き込みに来るのだろうか？ http://rio2016.5ch.net/test/read.cgi/math/1737427349/25
26: １３２人目の素数さん [sage] 2025/01/21(火) 18:17:10.17 ID:L4YtUQ+F 圏論的代数学 http://rio2016.5ch.net/test/read.cgi/math/1737427349/26
27: １３２人目の素数さん [sage] 2025/01/21(火) 18:17:32.09 ID:L4YtUQ+F 圏論的幾何学 http://rio2016.5ch.net/test/read.cgi/math/1737427349/27
28: １３２人目の素数さん [sage] 2025/01/21(火) 18:47:21.21 ID:L4YtUQ+F ここまで具体的な話無し http://rio2016.5ch.net/test/read.cgi/math/1737427349/28
29: １３２人目の素数さん [] 2025/01/21(火) 18:47:56.80 ID:s8etLp5J 圏論的数学原論を読め http://rio2016.5ch.net/test/read.cgi/math/1737427349/29
30: １３２人目の素数さん [sage] 2025/01/21(火) 19:02:04.52 ID:L4YtUQ+F 解散 http://rio2016.5ch.net/test/read.cgi/math/1737427349/30
31: １３２人目の素数さん [] 2025/01/21(火) 19:19:08.10 ID:qQzFd1Br 有限個を除いてって圏論でどう表現するの？ http://rio2016.5ch.net/test/read.cgi/math/1737427349/31
32: １３２人目の素数さん [] 2025/01/21(火) 19:21:31.56 ID:qQzFd1Br おそらく、点列の最初のN項を除くってのと、測度0の集合を除くってのは、共通化できるんじゃないかと思うんだけど http://rio2016.5ch.net/test/read.cgi/math/1737427349/32
33: １３２人目の素数さん [sage] 2025/01/22(水) 00:21:30.41 ID:P0gcrtAA 圏論的物理学 http://rio2016.5ch.net/test/read.cgi/math/1737427349/33
34: １３２人目の素数さん [] 2025/01/22(水) 00:59:36.30 ID:SXygNNIb 圏論的量子力学入門 単行本 - 2021/1/20 ボブ・クック (著), アレクス・キッシンジャー (著), 川辺治之 (翻訳) 圏論的量子力学 単行本 -? 2021/9/1 Chris Heunen (著), Jamie Vicary (著), 川辺治之 (翻訳) http://rio2016.5ch.net/test/read.cgi/math/1737427349/34
35: １３２人目の素数さん [] 2025/01/22(水) 01:01:52.91 ID:SXygNNIb 圏論による量子計算のモデルと論理 単行本 - 2018/8/10 Chris Heunen (著), 川辺 治之 (翻訳) http://rio2016.5ch.net/test/read.cgi/math/1737427349/35
36: １３２人目の素数さん [] 2025/01/22(水) 01:03:24.76 ID:SXygNNIb 圏論によるトポロジー 単行本 - 2023/6/10 Tai-Danae Bradley (原著), Tyler Bryson (原著), John Terilla (原著), 小森 洋平 (翻訳) http://rio2016.5ch.net/test/read.cgi/math/1737427349/36
37: １３２人目の素数さん [] 2025/01/22(水) 01:13:09.26 ID:SXygNNIb 圏論的、あまりに圏論的 圏論への意志 http://rio2016.5ch.net/test/read.cgi/math/1737427349/37
38: １３２人目の素数さん [sage] 2025/01/22(水) 06:19:33.56 ID:tyIj0j+i 圏論にそんな細かいこと出来るわけないだろ 思いつきでスレ立ててんじゃねえよガイジが http://rio2016.5ch.net/test/read.cgi/math/1737427349/38
39: １３２人目の素数さん [] 2025/01/22(水) 06:51:42.18 ID:K9rQFWBx >>38 細かいこととは？ http://rio2016.5ch.net/test/read.cgi/math/1737427349/39
40: １３２人目の素数さん [] 2025/01/22(水) 10:18:27.74 ID:krUJiWCv 点列の収束は圏論的には余極限だが、その双対もあるのかな？ http://rio2016.5ch.net/test/read.cgi/math/1737427349/40
41: １３２人目の素数さん [] 2025/01/22(水) 14:36:07.99 ID:Eu+xQQWX 点列の極限は、フィルター圏における極限 http://rio2016.5ch.net/test/read.cgi/math/1737427349/41
42: １３２人目の素数さん [sage] 2025/01/22(水) 15:39:33.35 ID:P0gcrtAA フィルター空間 http://rio2016.5ch.net/test/read.cgi/math/1737427349/42
43: １３２人目の素数さん [] 2025/01/22(水) 16:01:14.10 ID:+zgW6Nk2 sober空間の圏から空間的完備ハイティング代数の圏への、sober空間からその開集合全体へ対応させる反変関手がある(この行き先の圏をlocaleにすれば共変になる) また、空間的完備ハイティング代数からsober空間の圏への、空間的完備ハイティング代数をFから2(これは空間的完備ハイティング代数になる)への射全体に対応させる関手もある これらの関手に対して、ストーン双対性が成り立ち、位相空間を点を見ずに展開できる(ポイントレス位相空間論) 圏論でもこういう対応を見つければ細かいことができる 解析に対してこういう結果があればだが http://rio2016.5ch.net/test/read.cgi/math/1737427349/43
44: １３２人目の素数さん [] 2025/01/22(水) 16:06:19.87 ID:Vl2jHPr0 圏論は数学の最終形ではない。数学は圏論では完結しない。 数学者は永遠に数学理論を模索するのである。 http://rio2016.5ch.net/test/read.cgi/math/1737427349/44
45: １３２人目の素数さん [] 2025/01/22(水) 16:18:43.18 ID:Wi+LxD+P 解析の細かいこととか圏論で簡潔しない云々言ってるやつは、一体何が言いたいんだ……？ 他の分野についても、「数学は群論だけで完結しない」「線形代数だけでは解析学の細かいことは扱えない」とか一々言って回ってんの？ http://rio2016.5ch.net/test/read.cgi/math/1737427349/45
46: １３２人目の素数さん [] 2025/01/22(水) 16:43:42.11 ID:498pB1u4 >>40 環の局所化 http://rio2016.5ch.net/test/read.cgi/math/1737427349/46
47: １３２人目の素数さん [sage] 2025/01/22(水) 17:20:33.73 ID:P0gcrtAA 圏論ってなんの役に立つの？ http://rio2016.5ch.net/test/read.cgi/math/1737427349/47
48: １３２人目の素数さん [] 2025/01/22(水) 17:57:24.35 ID:8gQmWvTd 万物の理論としての圏論 単行本 - 2023/12/26 丸山善宏 (著) 4.1 5つ星のうち4.1 10個の評価 圏論によって世界を統一する――大胆で、無謀で、野心的な試み 現在、知のフロンティアの様相は混沌としている。数えきれない学問が乱立し、科学知と人文知は激しく分断され、全ての学問の全体像を把握する者はどこにも存在しない。現代数学の最先端であり、「知の氾濫」と「知の分断」に対処しうる圏論、その魅力と可能性を余すところなく語り尽くす。 http://rio2016.5ch.net/test/read.cgi/math/1737427349/48
49: １３２人目の素数さん [] 2025/01/22(水) 17:57:49.87 ID:8gQmWvTd だそうだ http://rio2016.5ch.net/test/read.cgi/math/1737427349/49
50: １３２人目の素数さん [] 2025/01/22(水) 17:59:33.17 ID:8gQmWvTd 世界を統一できる！ http://rio2016.5ch.net/test/read.cgi/math/1737427349/50
51: １３２人目の素数さん [] 2025/01/22(水) 18:02:38.66 ID:qCdN46/H A = C[X] S = Spec(A)～C o = 原点∈C S - o ⇔ C[X, 1/X] oのZariski開近傍全体 ⇔ f(0)=0となる多項式fを含まないイデアル全体 Sのフィルターがoに収束 ⇔ Aのイデアルが(X)による局所化で真のイデアルになる こんな感じか？ http://rio2016.5ch.net/test/read.cgi/math/1737427349/51
52: １３２人目の素数さん [sage] 2025/01/22(水) 18:42:33.78 ID:tyIj0j+i なんかたまに圏論万能説を唱えてるやついるよな http://rio2016.5ch.net/test/read.cgi/math/1737427349/52
53: １３２人目の素数さん [] 2025/01/22(水) 18:55:02.15 ID:p5EuK88o 代数解析学 http://rio2016.5ch.net/test/read.cgi/math/1737427349/53
54: １３２人目の素数さん [] 2025/01/23(木) 16:18:26.45 ID:vECRmyCU >>22 これが普通の感覚だよね http://rio2016.5ch.net/test/read.cgi/math/1737427349/54
55: １３２人目の素数さん [] 2025/01/23(木) 16:20:20.61 ID:vECRmyCU >>45 圏論は不要だって言ってるだけじゃん？ http://rio2016.5ch.net/test/read.cgi/math/1737427349/55
56: １３２人目の素数さん [] 2025/01/23(木) 16:21:17.37 ID:vECRmyCU >>52 集合論とか基礎論の万能感みたいなものかね アブストラクトナンセンスの極みなのに http://rio2016.5ch.net/test/read.cgi/math/1737427349/56
57: １３２人目の素数さん [] 2025/01/23(木) 16:43:51.20 ID:trznHGxR あなたは病気です http://rio2016.5ch.net/test/read.cgi/math/1737427349/57
58: １３２人目の素数さん [] 2025/01/23(木) 16:48:28.21 ID:o8RFC9Aj 圏論が不要って、さすがに無理があるよな 現代数学の必須知識だろう http://rio2016.5ch.net/test/read.cgi/math/1737427349/58
59: １３２人目の素数さん [sage] 2025/01/23(木) 19:29:29.40 ID:CD38KEeO 一様収束で評価値に追い込みかけるのは なんとなく閉形式とか完全形式の議論に言い換えられっそうではなかろうなのだろうか？ http://rio2016.5ch.net/test/read.cgi/math/1737427349/59
60: １３２人目の素数さん [] 2025/01/23(木) 21:54:01.95 ID:ahwohPPq >>58 なくてもいいってことよ 特に解析学では http://rio2016.5ch.net/test/read.cgi/math/1737427349/60
61: １３２人目の素数さん [] 2025/01/23(木) 21:54:44.49 ID:ahwohPPq 圏論の知識があってもいいけれど それが役立つことはほぼ無い http://rio2016.5ch.net/test/read.cgi/math/1737427349/61
62: １３２人目の素数さん [] 2025/01/23(木) 21:55:31.38 ID:ahwohPPq >>59 なんかホモロジー代数齧ったみたいだけど 無意味じゃね？ http://rio2016.5ch.net/test/read.cgi/math/1737427349/62
63: １３２人目の素数さん [] 2025/01/23(木) 21:58:29.95 ID:ahwohPPq >>48 >「知の氾濫」と「知の分断」に対処しうる圏論 意味不明 なんかポストモダン（笑）みたい http://rio2016.5ch.net/test/read.cgi/math/1737427349/63
64: １３２人目の素数さん [] 2025/01/23(木) 22:41:17.74 ID:DXpgJNTy >>63は理系でも入試科目に国語を課す必要があることがわかるナイスな投稿。 「「知の氾濫」と「知の分断」」は直前の「数えきれない学問が乱立し、科学知と人文知は激しく分断され、全ての学問の全体像を把握する者はどこにも存在しない。」を 簡潔な表現で言い換えているだけなので高校の現代文レベルの読解力があれば理解できる。 http://rio2016.5ch.net/test/read.cgi/math/1737427349/64
65: １３２人目の素数さん [] 2025/01/23(木) 23:08:35.42 ID:o8RFC9Aj >>60 でも解析学でも位相空間使うじゃん 位相空間は圏論で更に発展してるからなぁ http://rio2016.5ch.net/test/read.cgi/math/1737427349/65
66: １３２人目の素数さん [] 2025/01/24(金) 06:22:26.64 ID:nIotJSQ3 >>64 やっぱそっち系か 意味不明なのはその用語と圏論を結びつけることね http://rio2016.5ch.net/test/read.cgi/math/1737427349/66
67: １３２人目の素数さん [] 2025/01/24(金) 06:32:40.47 ID:nIotJSQ3 >>65 はぁ AがBで使われてAはCでA'に発展してると B＼AであるDはBのほとんどすべてでCにまるで関係してないと言っているのが>>7,22だね ついでに言うと Cで発展しているAの部分はAのごくごく一部ね Cはただの枠組み 役に立つなら使うが使わなくてもいいというかほぼほぼ使わない http://rio2016.5ch.net/test/read.cgi/math/1737427349/67
68: １３２人目の素数さん [] 2025/01/24(金) 10:49:45.76 ID:X05/C9ht >>67 ただ位相空間が圏論的により良いものに置き換えられつつあるからな 解析学の最新の研究にcondensed mathematicsが入ってきたのもそのため 確かに従来の解析学の世界にとどまるなら不要かもしれないが、例えば大阪公立大学で行われるcondensed mathematicsのワークショップとかどうするんだ？ 圏論は分からない、だからワークショップも参加しない、最新の研究も追っかけない、となると行き着く先は察せるが http://rio2016.5ch.net/test/read.cgi/math/1737427349/68
69: １３２人目の素数さん [] 2025/01/24(金) 10:54:41.90 ID:HycuoWiC >>67 で、関係してないから何なんだよ 数学のほとんどは測度論と関係してないから測度論は無意味ってこと？（笑） http://rio2016.5ch.net/test/read.cgi/math/1737427349/69
70: １３２人目の素数さん [] 2025/01/24(金) 11:09:30.25 ID:nIotJSQ3 >>69 数学のほとんどに関係ないから そういう意味でいらないってだけですが？ 解析学のほとんどに圏論はいらない 圏論の研究は別に勝手にやってればいい >>68 それはむしろ狭い見解 研究すべき事柄は無限で その一部が圏論てだけ http://rio2016.5ch.net/test/read.cgi/math/1737427349/70
71: １３２人目の素数さん [] 2025/01/24(金) 11:17:50.70 ID:nIotJSQ3 >>68 >最新の研究 てのが無限に色々あるわけね 圏論に関係してるのはごくごく一部 ただの流行りで終わる可能性も高い http://rio2016.5ch.net/test/read.cgi/math/1737427349/71
72: １３２人目の素数さん [] 2025/01/24(金) 11:22:15.97 ID:X05/C9ht >>71 condensed mathematicsはもう流行り超えたでしょ このワークショップも多変数複素解析の人も参加するし、確かに理想論を言えば、荒野は広大であり、どこで天を目指しても良い、位相空間論も知らずに独自の解析学を展開することはできるかもしれない だが、すでにPeter Scholzeという天才が建設中の巨人の肩に乗らない理由はあるか？ ちょっと圏論勉強すれば終わりだろ、何を意固地になって圏論を絶対勉強しないなんて理由があるんだ？ http://rio2016.5ch.net/test/read.cgi/math/1737427349/72
73: １３２人目の素数さん [] 2025/01/24(金) 11:22:39.82 ID:snu9JuzD >>70 ここは圏論と解析学の接点を論じるスレなのだから、それに興味ないなら君が立ち去ればいい話 http://rio2016.5ch.net/test/read.cgi/math/1737427349/73
74: １３２人目の素数さん [] 2025/01/24(金) 11:24:11.51 ID:nIotJSQ3 >>72 >何を意固地になって圏論を絶対勉強しない ？ 随分勉強したけど？使わないてだけ >>73 針小棒大なスレということですね http://rio2016.5ch.net/test/read.cgi/math/1737427349/74
75: １３２人目の素数さん [] 2025/01/24(金) 11:27:30.50 ID:X05/C9ht >>74 ∞-categoryについて、非数学科の人に説明するとしたら何を言いますか？ http://rio2016.5ch.net/test/read.cgi/math/1737427349/75
76: １３２人目の素数さん [] 2025/01/24(金) 11:38:21.66 ID:nIotJSQ3 >>75 >非数学科の人に説明する 何でそんなことするのか気がしれないが 流れ通り2カテゴリーから説明するんじゃないの？ 射の全体をオブジェクトにしてその間に射を作ると それが無限に続いた全体を想定してもらう http://rio2016.5ch.net/test/read.cgi/math/1737427349/76
77: １３２人目の素数さん [] 2025/01/24(金) 11:50:46.25 ID:X05/C9ht >>76 確かに勉強しているな 逆に何故圏論が解析と関係ないと思うのか不思議だ http://rio2016.5ch.net/test/read.cgi/math/1737427349/77
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.008s