18/03/09 01:38:36.59 vTKUh16O.net
あ、アンカミスか
とにかく「トポスと数論」についてはDAGやHAGとはまた別に、これからの話だと思うね
主流ではないと言うけど、上の理論も十分可能性がある。合わせて考えればの話だが
数論とはまた違うけど、圏論的な設定で幾何学的な議論をやると結局はトポスがしっくりくる
という感じの研究もチラホラある
寝るわ
18/03/09 01:38:36.59 vTKUh16O.net
あ、アンカミスか
とにかく「トポスと数論」についてはDAGやHAGとはまた別に、これからの話だと思うね
主流ではないと言うけど、上の理論も十分可能性がある。合わせて考えればの話だが
数論とはまた違うけど、圏論的な設定で幾何学的な議論をやると結局はトポスがしっくりくる
という感じの研究もチラホラある
寝るわ