圏論とは何か
「もの」ではなく「関係の形」を見る数学
Category theory
圏論入門
対象そのものより、対象を結ぶ変換とその合成に注目する数学です。1945年の誕生から、関手、自然変換、普遍性、随伴、現代の応用までを順序立ててたどります。
23
掲載記事
Concept map
圏論をたどる四つの領域
圏論への入口
圏論が何を問題にし、どのような必要から生まれたのかをつかみます。
圏論の中心概念
構造を保つ翻訳と、その翻訳同士を比較する考え方へ進みます。
発展と応用
プログラミングや論理の中で、圏論の構造がどのように働くかを確かめます。
圏論の射程
圏論が明らかにする範囲と、抽象化によって見えなくなるものを考えます。