by shigemk2

当面は技術的なことしか書かない

圏論の米田さん

Haskellを勉強するとなまら米田さんが出てくるので、どういうお方なのかちょっと調べてみた

米田信夫 - Wikipedia

米田の補題 - Wikipedia

YonedaとCoYoneda、そしてFunctor - capriccioso String Creating(Object something){ return My.Expression(something); }

高名な数学者だそうです。

Yonedaという名前でなまら米田さんが出てくるので、知っておいていいんじゃないかっていうお話でした。