和音のトポス（４年ゼミ）

和音のトポス．しばらく間が開いた．
２月下旬ころから当人の希望により層の理論そのものをずっと追っている．
本日，ファイバーバンドルの抽象論と具体論．
が，何しろ具体物についての経験は無いままの突入なので，
当人なかなか掴みづらい模様．
しかし，進みが遅くなってきたので，
次回から先に目標のGrothendieck topologyの導入を行うつもりで，
そこから逆算して必要な概念を把握していく，
という勉強の仕方をしてきてもらうことにした．
したよ．できるかな？

Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext)