エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
圏論は面白い(1) メタグラフ | tnomuraのブログ
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
圏論は面白い(1) メタグラフ | tnomuraのブログ
『圏論は面白い』というタイトルからは、圏論を理解している人が解説をしているように見えるかもしれな... 『圏論は面白い』というタイトルからは、圏論を理解している人が解説をしているように見えるかもしれないが、そうではない。Haskell のモナドの使い方がわからなかったので圏論に挑んでみたが、結局は理解できなかった。しかし、圏論の参考書をわからないなりに読んでいるうちに、Haskell のプログラミングの参考になるようなアイディアに気がついたので、少し書いてみたい気がする。 Haskell のモナドを理解するためのきちんとした数学的な解説で分かりやすそうに見えるのが、『モナドへの近道・Haskell からの寄道』という記事だ。以下の記事は、この記事からの引用ですすめていきたい。 上の参考書の最初の『基礎知識の準備』のセクションの冒頭に出てくる定義が「メタグラフ」の定義だ。以下に引用する。定義 1 (メタグラフ metagraph) メタグラフは射 (arrow) と対象 (object) とい