search

taretmch / hamcat

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

27章 カン拡張 #40

Closed taretmch closed 1 month ago

taretmch commented 3 years ago

27.1 右カン拡張

taretmch commented 3 years ago

27.2 随伴としてのカン拡張

taretmch commented 3 years ago

27.3 左カン拡張

taretmch commented 3 years ago

27.4 エンドとしてのカン拡張

taretmch commented 3 years ago

27.5 Haskell におけるカン拡張

taretmch commented 3 years ago

27.6 自由関手