hiratara https://blog.hatena.ne.jp/hiratara/ Pixel Pedals of Tomakomai https://hiratara.hatenadiary.jp/ 技術 数学 今回のトークでは「斜めの矢印」とか「合成」とかそういう言葉を説明に含める必要があったので圏論のことばや記法を前半で色々紹介しましたが、泥沼詳細には踏み込み過ぎないように気をつけました。その泥沼詳細にあえて踏み込んでみたい人のために、このトークに出てきた話と圏論の言葉の対応表を与えておきます。 スライド内の言葉 圏論的な性質 Type(型) 対象 Arrow(矢印)、または、関数 射 id 恒等射 M() 関手の対象関数 モナド = M(), unit, flat_map Kleisli triple*1 斜めの矢印、または、Kleisli射 Kleisli圏の射 map 関手の射関数 unit… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhiratara.hatenadiary.jp%2Fentry%2F20111015%2F1318694469" title="YAPCで話さなかったこと - Pixel Pedals of Tomakomai" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2011-10-15 01:01:09 rich https://hiratara.hatenadiary.jp/entry/20111015/1318694469 1.0 100%