Inter-universal geometry と ABC予想 31

Inter-universal geometry と ABC予想 31at MATH

Inter-universal geometry と ABC予想 31 - 暇つぶし2ch494:１３２人目の素数さん
18/09/30 03:10:54.59 pqOZFPGX.net
但し「圏論」といっても、どういう集合論や論理と共に考えるかによっても
話が変わってくるからね
例えば選択公理は随伴の観点からトポスでも良く説明できる現象になっている
IUTTではトポスの自由度を徹底して利用したいという感じなのだろうけど、
本当に圏論的・集合論

次ページ

続きを表示

1を表示