どうもこんにちは。今回は圏論(Category Theory)のことをまとめていきたいと思います。圏論を使いさまざまなことを研究するためにそれの基本を手っ取り早く学びたいかたは多いかと思います。そこで圏論の基本的な概念や定理は何なのかという見取り図を書きたいと思います。
今後は具体的に圏論をブログに書きたいと思っていますが、どのようにして書こうか迷っています。望んでいる数式や図式がはたしてちゃんと書けるかどうかわからないからです。もしかしたら、PDFをアップするというやりかたかもしれません。
ちなみに私は英語の本で圏論を勉強しているので*1、圏論の専門用語の日本訳をほとんど知りません。ですので以下の文章は日本語と英語がごっちゃになっています。ご了承ください。カタカナで書かないのはそっちのほうがカッコ悪いからです。でも、カタカナで書いた方がまだ見やすいかと思いますが。
*1:現在進行形なので間違っている箇所だったりまだわからないところも多々あります。