ゼミの風景

おそらくお気楽はしのすけゼミの諸風景

Top | ゼミ2016卒 | ゼミ2015卒 | ゼミ2014卒 | イベント | About

和音のトポス(3年ゼミ)

f:id:okiraku894:20141029150658j:plain
3年ゼミは一人だけ毎週水曜ということに.
相変わらず今手元にあるものがどこの世界の住人なのか混乱しつつ,
それでもそろそろこちらも小慣れてきたのか,Object classifierの行っていること,
toposを使ってNollが行おうとしていることが若干見えてきた.
ゼミ後に気になってLawvere-Tierney topologyを調べた.
そっか,intによる位相の定義のアナロジーなんだ.

f:id:okiraku894:20141029150704j:plain
おや,何か弾いてはる↑