某所で議論になっていますが、圏論でいう射ってあっちではmorphismと言ったりmapと言ったりarrowと言ったりして。mapとmorphismは違うとか、arrowとmorphismは違うとか。結局どれやねーん。とりあえず、日本では圏＝対象＋射、なんでしょうかねぇ。でも、arr…

前回のエントリーの続きなんですけど、Haskellにあるarrowって、日本語に訳した人とかいないんだろうか？ 日本語でなんと呼べばいいんでしょう。「アロー」？「矢」？