generated at
随伴.hs
#圏論とプログラミング

タイトル変えるmrsekut
随伴とHask圏

https://hackage.haskell.org/package/adjunctions-4.4


https://qiita.com/myuon_myon/items/d598480e4edd7a780ea7
http://bitterharvest.hatenablog.com/entry/2018/08/09/132037
http://bitterharvest.hatenablog.com/entry/2018/05/26/105847
https://zenn.dev/lotz/articles/79b723e7bb3faecb1117
http://kagamilove0707.hatenablog.com/entry/2014/11/02/210400#fn-8ae3ae26
https://www.stephendiehl.com/posts/adjunctions.html
https://haxis-fx.hatenadiary.org/entry/20110720/1311149995
https://bartoszmilewski.com/2016/04/18/adjunctions/