Pixel Pedals of Tomakomai

北海道苫小牧市出身の初老の日常

2009-06-27から1日間の記事一覧

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

第四回「層・圏・トポス 現代的集合像を求めて」勉強会*1に行ってきました。今回は、前回の復習をじっくり数時間やって、実際には数ページだけ進みました。で、ハマったのが二カ所です。 P74 Sets^(C^op)(Y_c(),F) と Fが自然同型ってなんでわかるの? P74 …