圏論

圏論における普遍性と普遍射

数学における普遍性の概念は、どういうものなのか一言で説明しにくいものだけど、圏論では普遍射を使って定義するのが普通。 と思ったら、『ベーシック圏論』は副題(訳書での追加?)が「普遍性からの速習コース」だけど、本文中に普遍射という言葉がそもそも…

プログラミングにおけるモナドの初期の歴史について

P. Wadler "How to Replace Failure by a List of Successes" (1985) E. Moggi "Computational Lambda-Calculus and Monads" (1988) M. Spivey "A Functional Theory of Exceptions" (1990) E. Moggi "Notions of Computation and Monads" (1991) P. Wadler …

圏論入門としてのホモロジー

圏論への入門の仕方 ホモロジー コホモロジー 関数のつながりにくさと(コ)ホモロジー 完全系列と圏論的視点