bonotakeの日記

元・ソフトウェア工学系研究者、今・AI系エンジニア

昨日は圏論勉強会

でした。
カントール対角線論法圏論版)とローヴェルの不動点定理をやりましたが、以前書いたはずのYコンビネータの作り方には酒井さん遅刻のため至らずw 次回持ち越しで。

んでもってその後、べき(exponentiation)の話に突入。何というか、今まで記法としても通り一遍の概念としても普通に受け入れてきたんですけれども、べき乗としてのB^Aと射(関数なり写像なり)としてのA \to Bが本当に1対1に対応しているんだなぁ(というか、そのもの?)、という、妙な実感を得たのでありました。

注:bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。