はてなブックマーク - MIT 18.S097: Programming with Categories
https://b.hatena.ne.jp/entry/brendanfong.com/programmingcats.html
Summary: In this course we explain how category theory—a branch of mathematics known for its ability to organize the key abstractions that structure much of the mathematical universe—has become use...barlog
https://b.hatena.ne.jp/barlog/20200903#bookmark-4680057058351769826
特に、Haskellプログラミング言語の例を使用してカテゴリー理論の構成要素に動機を与え、これらの構成要素をより抽象的で包括的な観点から説明します。2020-09-03T02:08:33Zsakito0902
https://b.hatena.ne.jp/sakito0902/20200119#bookmark-4680057058351769826
2020-01-19T00:26:23ZHaskellHotEntryプログラミングHiro_Matsuno
https://b.hatena.ne.jp/Hiro_Matsuno/20200119#bookmark-4680057058351769826
2020-01-19T00:04:18Zxef
https://b.hatena.ne.jp/xef/20200114#bookmark-4680057058351769826
2020-01-14T12:48:02ZHaskellCategoryTheoryu_wot_m8
https://b.hatena.ne.jp/u_wot_m8/20200114#bookmark-4680057058351769826
2020-01-13T23:16:25ZHaskell圏論