疑念は探究の動機であり、探究の唯一の目的は信念の確定である。

数学・論理学・哲学・語学のことを書きたいと思います。どんなことでも何かコメントいただけるとうれしいです。特に、勉学のことで間違いなどあったらご指摘いただけると幸いです。 よろしくお願いします。くりぃむのラジオを聴くこととパワポケ2と日向坂46が人生の唯一の楽しみです。

2017-09-19から1日間の記事一覧

圏論(Category Theory)についての覚書: 圏論の基礎を整理する(2): 圏論の基礎概念をおおざっぱにまとめる

こんにちは。今回は圏論の基礎概念をおおざっぱに書きたいと思います。前回の記事はこちらから 圏論には大きく分けると次の3つのパートがあると思われます。 第I部: 圏・CCC・トポス 第II部: 関手・自然変換・イクィバレンス・米田の補題 第III部: 随伴・モ…