前回のエントリの続きです。 1. P74 Sets^(C^op)(Y_C(),F) と Fが自然同型ってなんでわかるの？ これ、改めて見るとP71の定理6より強いことを言ってるのですね。id:oto-oto-otoさんが強調されていた「自然」ってのは、これのことだとようやくわかりました。

kentaro714さんがFlickrに板書+メモを上げてくれてます。素晴らしい！勉強会の雰囲気を知りたい方はぜひご覧下さい。