これを可換図式で示すと下図のようになる。2)\(Reader\)の積とHaskellとの関係それでは、いま説明した\(Reader\)の積はHaskellではどのような時に利用されるのだろうか。それを具体的な例でみてみよう。いま「誰ですかと問われた」ときに、「トム」と答える関数と「ジェリー」と答える関数を用意したとしよう。Jerry.")それでは、二つの関数の積を考えることとしよう。これは、二つを実行し、その結果を一緒にして出力するような関数を用意したらどうであろうか。j)さっそく実行してみよう。Jerry."積としての\(Reader\)を実感できたことと思う。3)余極限との関係\(Reader\)と極限の関係を示したので、その双対関係にあるものも存在するはずである。そこで、\(Reader\)の矢印の向きを変えた射\(Op\)を次のように定義する。\)の射の矢印の方向を反対にしたものである。この定義に従うと、\(Op\)の可換図式は下図のようになる。上図で圏\(\mathcal{I}\)はインデックス圏で、\(I,J\)はそこでのふたつの対象である。