![](https://cdn-ak-scissors.b.st-hatena.com/image/square/0d793537526d086122258bd13f2749ca66f6bdf1/height=288;version=1;width=512/https%3A%2F%2Fcdn.slidesharecdn.com%2Fss_thumbnails%2Fyoneda-141007140747-conversion-gate02-thumbnail.jpg%3Fwidth%3D640%26height%3D640%26fit%3Dbounds)
エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント3件
- 注目コメント
- 新着コメント
![moguno moguno](https://cdn.profile-image.st-hatena.com/users/moguno/profile.png)
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
The Yoneda lemma and String diagrams
The Yoneda lemma and string diagrams When we study the categorical theory, to check the commutati... The Yoneda lemma and string diagrams When we study the categorical theory, to check the commutativity is a routine work. Using a string diagrammatic notation, the commutativity is replaced by more intuitive gadgets, the elevator rules. I choose the Yoneda lemma as a mile stone of categorical theory, and will explain the equation-based proof using the string diagrams. reference: 1: Category theory:
2015/02/26 リンク