15/04/25 09:40:56.30 oVIwX5k8.net
>>56
基礎論での層の利用法がメインディッシュで載ってるだけで層係数コホモロジーや指数定理等の>>52的なことは全くと言っていいほど載ってないが
ソーンダース・マックレーン「数学 その形式と機能」が集合論というか基礎論チックに圏論の紹介やってて一応集合論とか基礎論の語感から想像するであろう数学の基礎的なことから載ってる。
15/04/25 09:40:56.30 oVIwX5k8.net
>>56
基礎論での層の利用法がメインディッシュで載ってるだけで層係数コホモロジーや指数定理等の>>52的なことは全くと言っていいほど載ってないが
ソーンダース・マックレーン「数学 その形式と機能」が集合論というか基礎論チックに圏論の紹介やってて一応集合論とか基礎論の語感から想像するであろう数学の基礎的なことから載ってる。