和音のトポスという圏論の勉強会．和音はどこ？ さて今回は抽象的に見てきた層をその出処である多様体論に具体例を求めるお話の回． Xの開集合の圏は定数Functor Hom(-,X)のSubsheafと読み替えられること，から始まり， 多様体上の様々な構造物をSheafで記述…