読者です 読者をやめる 読者になる 読者になる

北海道苫小牧市出身の初老PGが書くブログ

永遠のプログラマを夢見る、苫小牧市出身のおじさんのちらしの裏

第十六回「層・圏・トポス  現代的集合像を求めて」勉強会

第十六回「層・圏・トポス  現代的集合像を求めて」勉強会に行ってきました。

今日は自分に用事がある人*1と体調崩していた人が何人か居たので、予定を変更して16時で終了。前層から層を誘導する方法をやりました。初めから両立するものだけを集めて同値関係入れて重複を省いちゃえば、層になるはずだよねっていう当たり前の話を3時間。全然当たり前じゃなかったです。。。

*1:自分も含むw