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

第八回「層・圏・トポス 　現代的集合像を求めて」勉強会に行ってきました。ようやくP78の定理8の証明が終わり、limの随伴の話に入ったとこです。定理9については、以下の記述が全く足りてないので、自分たちで補足しました。

• lim関手は射をどう移すのか？*1
• Δ関手は射をどう移すのか？*2

宿題・・・と言うか時間の都合で中途半端だったのは以下。

• P82の定理9の証明で作った対応が、自然同型になるのか？

次回はこの宿題からです。

*1:f:A→B を、lim B の定義によって定まる、lim A からの唯一の射とする

*2:射fを、全てのコンポーネントがfである自然変換に移す