Takayuki Kihara (@tri_iro) | Twitterさんの発言 けんろん！：圏論部に入部した女子高生4人組+αの日常を描いた作品圏論、Haskell、あるいは圏論部。 - Togetter女子高生でも高校生でもないかたは、 層圏トポス勉強会へ http://groups.google.co.jp/group/sh…