圏論

圏論の概要 #圏論(category theory) は、1942-45年にSamuel EilenbergとSaunders Mac Laneによって代数的位相幾何学の研究の中で発明された数学の一分野であり、数学的概念を表現し議論するための抽象的な言語を提供する。圏論の諸概念は、それらの例を数学のあらゆる分野で見つけることができる。圏論に通底する哲学...