haskell-jp / beginners #21 at 2022-07-23 06:40:15 +0900

math に投げるか迷ったのですがこちらで。
Hask圏が圏にならないという話をうけて、それでは代わりになる圏は今のところ考えられているのでしょうか？

あれから調べてみましたがわかりませんでした。
圏論の知識も不足しているのでもう少し勉強してみます。

What is the Category for Haskell?
https://www.cs.gunma-u.ac.jp/~hamana/Papers/cpo.pdf

私は理解できていませんが、こういう資料はありました。

ありがとうございます。
返事が遅れてしまい申し訳ありません。