bitterharvest https://blog.hatena.ne.jp/bitterharvest/ bitterharvest’s diary https://bitterharvest.hatenablog.com/ プログラマーのための圏論 (上級編) ３．３ \(Reader\)と極限 ここまでの記事で、\(Reader\)の使い方と定義について詳しく説明した。この記事では、さらに理解を進めるために、圏論での極限とのかかわりについて説明しよう。圏論は、様々な数学の分野で共通に成り立っている性質について論じる学問ともみなすことができるが、極限はその一つと言える。いわゆる積と呼ばれる概念が成り立つとき、そこには極限が存在するというのが、普遍に成り立つ性質である。このような性質は普遍性(universal property)と呼ばれ、数学での重要な概念である。 １）\(Reader\)と極限 ここでは、関手\(Reader\)にも、積という概念が… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbitterharvest.hatenablog.com%2Fentry%2F2018%2F01%2F21%2F102826" title=" 極限－Readerと極限 - bitterharvest’s diary" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/b/bitterharvest/20180120/20180120102045.png Hatena Blog https://hatena.blog 2018-01-21 10:28:26 rich https://bitterharvest.hatenablog.com/entry/2018/01/21/102826 1.0 100%