19/04/07 14:34:21.56 7V7EuNib.net
メモ
topos＝高階論理→加速定理（>>184）
URLﾘﾝｸ(en.wikipedia.org)
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