『層・圏・トポス』
https://gyazo.com/ccb39fd1848d299f1759407e63d39f44
1978/1/20
竹内外史
著
/mrsekut-book-4535781095
https://m-hiyama.hatenablog.com/entry/20090430/1241049766
檜山正幸
氏の竹内さんの『層・圏・トポス』を読む人達へ
第1章 層
第2章 圏
第3章 トポス
第4章 直観論理
第5章 高階直観論理
#スクボ読書化した本