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