久々にThe n-Category Cafeを見たら、Mike Stayによる"The Continuation Passing Transform and the Yoneda Embedding"なんて記事がありました。 米田埋め込みは圏論ではお馴染み。継続渡しへの変換はコンピュータ・プログラミングではお馴染み。 この2つは、実は同じものなんだよ。なんで、誰もこのことを言わないんだろうね? The Yoneda embedding is familiar in category theory. The continuation passing transform is familiar in computer programming. They're the same thing! Why doesn't anyone ever say so? Mike Stayのこの記事、面白いのだ
東大駒場に来てますのでメモを取ります。 圏論とは 圏論の父 S.Mac Lane arrowとdiagramで数学的体系の多くの性質を 可換図式 今日のテーマ: 位相幾何学とプログラミング 圏論の基礎 / 松森至宏さん 圏が初めての人向け 代数的位相幾何学の文脈から生まれた 自然変換を表現したかった 圏の定義 \(Ob(C)\), \(Hom_c(,)\), \(\circ\) \(f : X \to Y\) \(\circ : Hom_C(Y, Z) \times Hom_C(X, Y) \to Hom_C(X, Z)\) \(1_X \in Hom_C(X, X)\) identity, \((h \circ g) \circ f = h \circ (f \circ g)\) composition \(f: X \to Y\), \(X\) domain, \(Y\) codoma
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く