Harvestは小説の題名。\(Reader\)と極限ここまでの記事で、\(Reader\)の使い方と定義について詳しく説明した。この記事では、さらに理解を進めるために、圏論での極限とのかかわりについて説明しよう。圏論は、様々な数学の分野で共通に成り立っている性質について論じる学問ともみなすことができるが、極限はその一つと言える。いわゆる積と呼ばれる概念が成り立つとき、そこには極限が存在するというのが、普遍に成り立つ性質である。property)と呼ばれ、数学での重要な概念である。1)\(Reader\)と極限ここでは、関手\(Reader\)にも、積という概念が成り立ち、そのため、極限と呼ばれる普遍性が成り立つことを説明する。r\)へと写すものである。モナドとしての性質も有している。前の記事で錐について論じた。そこでは、インデックス圏\(\mathcal{I}\)から圏\(\mathcal{C}\)への関手を利用して、錐を作成した。それに倣って、ここでも、圏\(\mathcal{I}\)に二つの対象\(I,J\)を用意することとしよう。r\)で構成されているとしよう。インデックス圏の対象\(I,J\)を\(\mathcal{C}\)へ関手により写すことにしよう。