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

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

第一回層圏トポス米田フェスティバル@矢上祭

出席してきました。本当に圏論の前提知識なしに米田のレンマまでぶっ通しで終わらせました。なんてひど・・・スピーディーな進行!

しかし、米田祭だからといって米田のレンマを二度も証明するとは思いませんでした!!

参加した方のために、参考資料を残しておきます。

10/11 追記

id:oto-oto-otoさんが板書をupしてくれました。

*1:元となる写像に、米田埋め込みを適用して得られる自然変換の各コンポーネントが、CPS変換を行う関数となります