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

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

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

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

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

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

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

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

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

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

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