はてなブックマーク - HaskellのCo/Yoneda型と米田の補題をきちんと繋げる - Qiita
https://b.hatena.ne.jp/entry/s/qiita.com/ywakimoto/items/76b2431a738ea84fc95d
概要 Haskell には Co/Yonda 型があり、圏論には米田の補題がある。両者の関連についての分かりやすい解説を見つけられなかったため、ここで米田の補題と Co/Yoneda 型をシームレスに繋ぐことを試みる。 圏論の基...
-
Hiro_Matsuno
https://b.hatena.ne.jp/Hiro_Matsuno/20211004#bookmark-4701923833658498914
2021-10-04T02:31:09Z
-
sakito0902
https://b.hatena.ne.jp/sakito0902/20210504#bookmark-4701923833658498914
2021-05-04T00:26:37Z
Haskell
HotEntry
プログラミング
-
k0yoshitsugu
https://b.hatena.ne.jp/k0yoshitsugu/20210501#bookmark-4701923833658498914
2021-04-30T19:27:31Z
-
u_wot_m8
https://b.hatena.ne.jp/u_wot_m8/20210429#bookmark-4701923833658498914
2021-04-29T09:10:29Z
Haskell
圏論
米田の補題