Cartesian Closed Categories(CCC)
こんにちは。今回は圏論の基礎概念をおおざっぱに書きたいと思います。前回の記事はこちらから 圏論には大きく分けると次の3つのパートがあると思われます。 第I部: 圏・CCC・トポス 第II部: 関手・自然変換・イクィバレンス・米田の補題 第III部: 随伴・モ…
圏論
哲学
数学
論理学
Topoi
Yoneda Lemma(米田の補題)
Dualities(双対性)
Boolean Algebras(ブール代数)
Cartesian Closed Categories(CCC)
本
Natural Transformations(自然変換)
Functors(関手)
Adjoints(随伴)
Monads(モナド)
どうもこんにちは。今回は圏論(Category Theory)のことをまとめていきたいと思います。圏論を使いさまざまなことを研究するためにそれの基本を手っ取り早く学びたいかたは多いかと思います。そこで圏論の基本的な概念や定理は何なのかという見取り図を書きた…