Haskellのために数学的な基礎知識を仕入れようと思ったんだけど、歴史物語だった。
こういうの好きな人にはたまらないのかもしれないが。
代数に惹かれた数学者たち圏論の根底にある思考の一般的な方向
何かの一般原理、「代数的構造物の一般理論」のようなものを引き出して、全ての対象と、これから遭遇するかもしれない他のどんな対象をも、上位にある一組の公理の下にまとめることができるだろうか。つまり、一種の普遍代数にすることができるか
Haskellのために数学的な基礎知識を仕入れようと思ったんだけど、歴史物語だった。
こういうの好きな人にはたまらないのかもしれないが。
圏論の根底にある思考の一般的な方向
何かの一般原理、「代数的構造物の一般理論」のようなものを引き出して、全ての対象と、これから遭遇するかもしれない他のどんな対象をも、上位にある一組の公理の下にまとめることができるだろうか。つまり、一種の普遍代数にすることができるか