メモ topos＝高階論理→加速定理（>>184） https://en.wikipedia.org/wiki/History_of_topos_theory History of topos theory
This page gives some very general background to the mathematical idea of topos. This is an aspect of category theory, and has a reputation for being abstruse. The level of abstraction involved cannot be reduced beyond a certain point; but on the other hand context can be given. This is partly in terms of historical development, but also to some extent an explanation of differing attitudes to category theory.[citation needed] Contents 1 In the school of Grothendieck 2 From pure category theory to categorical logic 3 Position of topos theory 4 Summary 5 References
