はてなブックマーク

はじめに 本サイトは、圏論初心者が圏論について学びながら作成した、Scala プログラマのための入門書です。教科書は Bartosz Milewski 氏著の Category Theory for Programmers の Scala Edition で、構成も原則これに沿っています。 Scala をやっていて、圏論について知りたい・学ぶ土台を作りたいという方の参考になれば幸いです。 目次 はじめに（ここ） 第1部 1章 圏とは 2章 型と関数の圏 3章 いろいろな圏 4章 Kleisli圏 5, 6章 積と余積 7章 関手 8章 関手性 （工事中）9章 関数型 10章 自然変換 第2部 （工事中）11章 宣言型プログラミング 12章 極限と余極限 付録 表記法 Writer 圏における射の合成と、恒等射と、関手について 免責事項 ドキュメントの章構成は基本的に原文に則っていますが、省