[[2016/自主ゼミ]] #contents * sgl [#lbbd3f6f] ** 概要 [#e5cbd10e] :代表者 | シャノン? :形式 | 談話会 :日程 | 2015年8月より :教室 | 2回生控え室 :参加人数 | おそらく2人+チューター1人 ** 予定・報告 [#led85cb1] -sheaves in geometry and logic はトポス理論の入門書です。 ** 文献 / 関連項目 [#d42db692] - sheaves in geometry and logic ** コメント欄 [#a663608a] #comment