S. Mac Lane (著), 三好博之, 高木理 (訳) 著
購入へ
解説
大学数学以上
by
merliborn
at
2021年12月16日
圏論から見るHaskellのFunctor
圏論，Haskell，計算機科学
204
2
文献あり
解説
大学数学以上
by
merliborn
at
2021年01月29日
自由とは何か
圏論，代数学
28
3
文献あり
解説
大学数学以上
by
めいぜんおーえす
at
2021年12月02日
5つの圏の定義とCoqによる実装
圏論，Coq
257
7
文献あり