圏と圏との間の関手を考える意味を探ってみる。例えば、以前とり上げた量の世界から数の世界への関手は次のように互いの世界を指し示す。ここで⟿は関手、→は射、↦は関数を表す。 〔量の世界〕 〔数の世界〕 時間 → 距離 ⟿ ａ時間↦ ａｓｋｍ ガソリン → お金 …