issues
search
taretmch
/
hamcat
Category Theory for Programmers の勉強記録
https://criceta.com/category-theory-with-scala/
Other
17
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update licenses and improve documentation clarity
#60
taretmch
closed
3 months ago
0
Scalafmt 設定追加
#59
taretmch
closed
3 months ago
0
CI 追加
#58
taretmch
closed
3 months ago
0
core プロジェクト改修
#57
taretmch
closed
3 months ago
0
10章のリライト
#56
taretmch
closed
3 months ago
0
8章リライト
#55
taretmch
closed
3 months ago
0
7章のリライト
#54
taretmch
closed
4 months ago
0
docs: rewrite chapter 5 (initial, terminal, product, coproduct)
#53
taretmch
closed
4 months ago
0
今後の保守のための構成変更
#52
taretmch
closed
3 months ago
0
Bug: Functor syntax: fmap is not a member of List[Option[Int]]
#51
taretmch
closed
3 months ago
0
Refactor for Scala 3.2.0
#50
taretmch
closed
2 years ago
1
Bug of Functor[Id]: value fmap is not a member of int
#49
taretmch
closed
3 months ago
4
Upgrade version for Scala3
#48
taretmch
closed
3 years ago
1
Feature/2021 03 gitbook
#47
taretmch
closed
3 years ago
0
Feature/2021 03: Add configurations for Gitbook
#46
taretmch
closed
3 years ago
0
Chapter12: Limits and Colimits
#45
taretmch
closed
3 years ago
1
31章 モナド、モノイド、そして圏
#44
taretmch
closed
1 month ago
3
30章 Lawvere 理論
#43
taretmch
closed
1 month ago
8
29章 トポイ
#42
taretmch
closed
1 month ago
4
28章 豊穣圏
#41
taretmch
closed
1 month ago
8
27章 カン拡張
#40
taretmch
closed
1 month ago
6
26章 エンドと余エンド
#39
taretmch
closed
1 month ago
7
25章 モナドの代数
#38
taretmch
closed
1 month ago
5
24章 F代数
#37
taretmch
closed
1 month ago
7
23章 余モナド
#36
taretmch
closed
1 month ago
7
22章 圏論的なモナド
#35
taretmch
closed
1 month ago
4
21章 モナドと計算効果
#34
taretmch
closed
1 month ago
12
20章 モナド: プログラマーの定義
#33
taretmch
closed
1 month ago
3
19章 自由構成と忘却関手
#32
taretmch
closed
1 month ago
2
18章 随伴
#31
taretmch
closed
1 month ago
5
第三部 17章 射に関するすべて
#30
taretmch
closed
1 month ago
8
16章 米田埋め込み
#29
taretmch
closed
1 month ago
5
15章 米田の補題
#28
taretmch
closed
1 month ago
2
14章 表現可能関手
#27
taretmch
closed
1 month ago
3
13章 自由モノイド
#26
taretmch
closed
1 month ago
3
12章 極限と余極限
#25
taretmch
closed
3 years ago
5
10章 自然変換
#24
taretmch
closed
3 years ago
1
10章 自然変換
#23
taretmch
closed
3 years ago
0
8章 関手性
#22
taretmch
closed
3 years ago
0
Simulacrum を用いた型クラスの実装
#21
taretmch
closed
3 years ago
2
Add some functors
#20
taretmch
closed
3 years ago
0
Feature/2020 12 04 functor
#19
taretmch
closed
3 years ago
0
9章 関数型
#18
taretmch
closed
3 years ago
2
8章 関手性
#17
taretmch
closed
3 years ago
6
夕学講座2020年11月20日
#16
taretmch
closed
3 years ago
0
3章ドキュメントに、モノイドの例を追加する
#15
taretmch
closed
3 years ago
1
5章の修正
#14
taretmch
closed
3 years ago
0
4章までの復習と加筆・修正
#13
taretmch
closed
3 years ago
0
積の説明に scala の Product を入れる
#12
taretmch
closed
3 years ago
0
Cospan の実装
#11
taretmch
closed
3 years ago
0
Next