- 関数型プログラミング言語Haskell Part26
686 ：デフォルトの名無しさん[sage]：2014/12/15(月) 23:07:12.43 ID:Lw/L1HxZ - 圏論強者が続々登場ですね。
あなた方はどんな教科書で圏論に入門したんですか？
参考にしたいです。
|
- 関数型プログラミング言語Haskell Part26
691 ：デフォルトの名無しさん[sage]：2014/12/15(月) 23:28:56.39 ID:Lw/L1HxZ - >>687
ワロタw
|
- 関数型プログラミング言語Haskell Part26
693 ：デフォルトの名無しさん[sage]：2014/12/15(月) 23:35:45.77 ID:Lw/L1HxZ - >圏論入門は自分で本選ばないと。合わない本を薦めても合わない人には合わないから。
そんなもんすか…
定義はサクッと短く終わらせて具体例で学べるのが好みかも。
|
- 関数型プログラミング言語Haskell Part26
696 ：デフォルトの名無しさん[sage]：2014/12/15(月) 23:55:37.92 ID:Lw/L1HxZ - >>694
> Haskell で圏論
他の人はわかんないですけど、例えばlensライブラリに関する記事が流れてきて、
http://patternsinfp.wordpress.com/2011/01/31/lenses-are-the-coalgebras-for-the-costate-comonad/
で、coalgebraってなんだよ、って思ってwikiでググると
http://ja.m.wikipedia.org/wiki/余代数
なんか圏論？ 図式？ とかあって読めない。
そういう経験が最近多いので、勉強したいなーと。
|