昨日は圏論勉強会

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

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