>>693
その具体例が興味無いもんだったら全然頭に入らんから。
米田の補題やりたいんだったらホモロジーとかやんないといけないし。
そもそも自分もなんでHaskellでこんな圏論、圏論言ってるのかよくわからん。