圏論の小ネタ記事をもうひとつ。「キュリアの絵算」より： キュリアの方法（キュリアのオリジナルかどうかは分かりませんが）の特徴の1つは、自然変換の計算と射の計算を混ぜてしまうことです。最初は戸惑うのですが、慣れてしまうととても便利です。 自然変…

Cが圏であり、A, Bは圏Cの対象とします。AからBへの射の全体は C(A, B) と書かれ、ホムセット（ホム集合）と呼ばれます。HomC(A, B) という書き方もあります（昔はこの記法が主流だった）。Cが了解されているなら、単に Hom(A, B) とも書きます。いまは詳し…