射

関数をより一般化した概念

対象が集合になっているときのみ、射を関数っぽく見ることができる

Hask圏の場合も、対象は型であり、それは値の集合だと考えることで、射は関数だと見ることができる