Chapter 05

1.4 練習問題

さのたけと
さのたけと
2021.05.05に更新
  1. あなたが一番好きな言語で,恒等関数を実装せよ(Haskell が一番の場合には二番目で)
  2. 関数の合成を実装せよ(二つの関数を引数に取り,一つの関数を返す).
  3. 恒等関数が合成に関して単位的だという要件をテストするプログラムを作れ.
  4. World-wide web は圏と見なせるか? リンクは射だろうか?
  5. Facebook は圏と見なせるか?(ユーザを対象,友人関係を射として)
  6. 有向グラフは圏か?

(和訳:@taketo1024