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