以前（2014年ごろ）このブログに「圏論の本」という記事を書いたが、あれ以降いろいろな本が出てきたようだ。特に、和書が増えた。
というわけで、この記事では2018年時点で手に入る圏論の本を独断と偏見で紹介する。ここで紹介するのは入門書、和書が中心となり、より専門的な話題に特化した本は省く。
圏論の入門書と一口に言っても、書き方や内容は著者によって様々である。読者にも代数学をやりたい人、プログラミングやロジックをやりたい人、色々いるだろうが、読者のバックグラウンドや興味の方向によって読むべき本は変わる。
読者が適切な本を選択する為に、この記事が（十分なガイドとまではならなくとも）なんらかのヒントを提供できれば幸いである。
適宜、Web上で他の方が書いた書評にリンクを貼る。 続きを読む
この記事は、TeX & LaTeX Advent Calendar 2018 の 15日目の記事です（遅くなってすみません）。
技術書典5で電子版を配布するのに利用したダウンロードカード（電子書籍をダウンロードするためのURLとシリアルコードが記載された紙）の話をします。技術書典の原稿執筆でやったことの全体像については、 同人誌「代数的数を作る」ができるまで／PandocとかLaTeXの話 を参照してください。 続きを読む
この記事は Category Theory Advent Calendar 2018 7日目 かつ Haskell (その2) Advent Calendar 2018 7日目の記事です。
Category Theory Advent Calendar 2018の6日目はcorollary2525さんの「随伴は あらゆるところに 現れる」、8日目は空席、9日目はt_uemura669101さんの「トポスと高階論理」です。
Haskell (その2) Advent Calendar 2018の6日目は空席、8日目はtakoeight0821さんの「Type defaultingについての初級的な解説」です。
圏論の方から来た人向け：
デカルト積やテンソル積の一般化である「モノイド積」の話と、「内部ホム」の話をします。文献によっては内部ホムはモノイド積の右随伴として導入されますが、ここではモノイド構造を仮定せずに内部ホムの定式化（閉圏）をします。
Haskellの方から来た人向け：
この記事ではHaskellにおけるアプリカティブ関手の使い方は解説しません。Haskellの方から来た読者はすでにアプリカティブ関手をある程度知っており、圏論的な話にﾁｮｯﾄ興味がある、と仮定します。
これを読めば、「モナドは自己関手の圏におけるモノイド対象だよ、何か問題でも？」と同じノリで「アプリカティブ関手はモノイド圏における強laxモノイド関手だよ、何か問題でも？」と言って他人を煙に巻くことができます。 続きを読む
圏論では図式（可換図式）が多用される。図式を使うメリットは何なのか、他の表記と比べて考えてみたい。 続きを読む
サイクリングに行ってきた話を書く。 続きを読む
2年ほど前からマイペースで作っていたLaTeX処理自動化ツールClutTeXだが、ある程度の機能が整ったと判断し、バージョン0.1をリリースした。ClutTeXに関しては2年前にもブログ記事で紹介したが、初のリリースを迎えた今、改めてその機能と使い方を紹介する。 続きを読む
技術書典5の当日編。
前日までの話はこっち：技術書典5に初サークル参加した記録／前日まで
原稿の内容・技術面に関してはこっち：同人誌「代数的数を作る」ができるまで／PandocとかLaTeXの話
当日会場に来れなかったという方は、BOOTHで電子版（PDF版）を購入可能です：
前の記事「技術書典5に初サークル参加した記録／前日まで」は、サークル参加と紙書籍配布を軸に色々書いたが、この記事ではコンテンツである「週刊 代数的実数を作る」からの「代数的数を作る」の流れと、執筆に使った技術について色々書く。
執筆に使った技術（Pandoc filter等）について気になるものがあれば、コメント欄に書き込んでもらえれば別途詳細な記事を書くかもしれない。 続きを読む
10月8日に池袋で開催される技術同人誌即売会「技術書典5」に、「だめぽラボ」としてサークル参加します。 続きを読む