Monads(モナド)
どうも僕です。 最近、しばらくご無沙汰でありました。書こうと思っていたけれどもなかなか書けませんでした。ですが、この間にもブログのアクセス数は200/1dayのときもあり、とても驚きました。どの記事が見られているか調べたら、旅行に使えるロシア語が一…
概要 モノイド圏やモノイド対象、そしてそれらの具体例であるモノイドとモナドについてまとめる。モノイド対象はモノイド圏において定義される。集合の圏 はモノイド圏であり、そのモノイド対象はモノイドである。つまりモノイド対象はモノイドの一般化であ…
Dualities(双対性)
Yoneda Lemma(米田の補題)
圏論
Adjoints(随伴)
Functors(関手)
Monads(モナド)
Natural Transformations(自然変換)
予約投稿
サボり記事第六弾予約投稿第五弾 2/3 23:59予定 今回は圏論のことについて続きを書きます。こちらが 前回の記事で、こちらが、 最初の記事です。 第II部: Functors, Natural Transformations, Equivalences and Yoneda Lemma 関手(Functors) 関手の例 フェイ…
圏論
哲学
数学
論理学
Topoi
Yoneda Lemma(米田の補題)
Dualities(双対性)
Boolean Algebras(ブール代数)
Cartesian Closed Categories(CCC)
本
Natural Transformations(自然変換)
Functors(関手)
Adjoints(随伴)
Monads(モナド)
どうもこんにちは。今回は圏論(Category Theory)のことをまとめていきたいと思います。圏論を使いさまざまなことを研究するためにそれの基本を手っ取り早く学びたいかたは多いかと思います。そこで圏論の基本的な概念や定理は何なのかという見取り図を書きた…