search

taretmch / hamcat

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

26章 エンドと余エンド #39

Closed taretmch closed 2 months ago

taretmch commented 3 years ago

26.1 Dinatural Transformations

taretmch commented 3 years ago

26.2 エンド

taretmch commented 3 years ago

26.3 イコライザーとしてのエンド

taretmch commented 3 years ago

26.4 エンドとしての自然変換

taretmch commented 3 years ago

26.5 余エンド

taretmch commented 3 years ago

26.6 忍者米田の補題

taretmch commented 3 years ago

26.7 Profunctor の合成