この書籍は、Scala プログラマのための圏論の入門書です。参考にした書籍は Bartosz Milewski 氏著の Category Theory for Programmers の Scala Edition で、構成も原則これに則しています。
Hamcat は、圏論に関する概念を実装した勉強用ライブラリです。
ライブラリの名前は、著者がハムスターと猫が好きであることと、Homology (ホモロジー) とCategory Theory (圏論) を掛け合わせたものです。
hamcat は次のライセンスで配布されています。
ソースコードとは、『Scala で始める圏論入門』上のサンプルコードや hamcat を構成するプログラムのソースコードを指します。主に Scala ファイルや sbt ファイルに書かれたコード、およびドキュメント上の Scala コードを含みます。
ドキュメントとは、『Scala で始める圏論入門』の文章を指します。主に docs および honkit ディレクトリ配下の Markdown ファイル、HTML ファイル、サイト上の文章を含みます。
ドキュメントは、Category Theory for Programmers - Scala Edition のライセンスを継承しています。
The PDF book, .tex files, and associated images and figures in directories src/fig and src/content are licensed under Creative Commons Attribution-ShareAlike 4.0 International License.
本プロジェクトは、Bartosz Milewski 氏著 Category Theory for Programmers - Scala Edition を翻訳し、読みながら作成した勉強記録です。
ドキュメントの章構成は基本的に原文に則していますが、省略している箇所もあります。非公式な翻訳であり、個人的な解釈を含む表現も含まれますので、その点に留意してお読みください。