『圏論と構造主義』 - pogi-log

『圏論と構造主義』

深山洋平. 圏論と構造主義. 2012

https://eprints.lib.hokudai.ac.jp/dspace/bitstream/2115/51910/1/002_FUKAYAMA.pdf

デカルト閉圏(CCC)

トポス(数学)はマクレーンの研究より生まれたもの

数学的基礎付け

初等トポス

equalizerは等化と訳すらしい

モニック射

エピック射

3. アウディの数学的構造主義

4. 基礎付けの否定と図式的数学

5. ヘルマンの批判とその検討

6. まとめと展望