小ネタ：単位対象は終対象じゃないこと

モノイド圏で、×、1とかの記号を使っていると、ついつい1を終対象だと思ってしまうことがある。そんときは、K-ベクトル空間とK-テンソル積の圏を思い出してみる。Kは終対象じゃない！ A→Kはイッパイあって、双対空間ができるよ。