Mathlog
×
Mathlog
アカウント
アカウント作成
ログイン
その他
ヘルプ
利用規約
意見箱
2021/12/17
圏論から見るHaskellのFunctor
merliborn
merliborn
フォローする
解説
大学数学以上
文献あり
圏論から見るHaskellのFunctor
圏論
,
Haskell
,
計算機科学
2
共有
Tweet
URL
PDF
参考文献
Emily Riehl, Category Theory in Context, Aurora: Modern Math Originals, Dover Publications, 2016
Tom Leinster (著), 斉藤恭司 (監修), 土岡俊介 (訳), ベーシック圏論 普遍性からの速習コース (Basic Category Theory), 丸善出版, 2015
S. Mac Lane (著), 三好博之, 高木理 (訳), 圏論の基礎 (Categories for the Working Mathematician), 丸善出版, 2012
Andres Kock, Monads on Symmetric Monoidal Closed Categories, Archiv der Mathematik 21 (1), 1970, pp. 1–10
493
投稿日:2021年12月16日
最終更新日:2021年12月17日
2
共有
Tweet
URL
PDF
この記事を高評価した人
詳しくみる
投稿者
@merliborn
merliborn
圏論や普遍代数に興味があります。現在の専門は型理論および圏論的意味論です。
関連記事
Krull-Schmidt圏では任意の射が右極小な射とゼロ射に分けられる
5つの圏の定義とCoqによる実装
可換図式で圏を定義する
コメント
コメントはありません。
詳細へ
購入へ