search

taretmch / hamcat

Category Theory for Programmers の勉強記録
https://criceta.com/category-theory-with-scala/
Other
17 stars 0 forks source link

30章 Lawvere 理論 #43

Closed taretmch closed 1 month ago

taretmch commented 3 years ago

30.1 普遍代数

taretmch commented 3 years ago

30.2 Lawvere 理論

taretmch commented 3 years ago

30.3 Lawvere 理論のモデル

taretmch commented 3 years ago

30.4 モノイドの理論

taretmch commented 3 years ago

30.5 Lawvere 理論とモナド

taretmch commented 3 years ago

30.6 余エンドとしてのモナド

taretmch commented 3 years ago

30.7 計算効果の Lawvere 理論

taretmch commented 3 years ago

30.8 チャレンジ