セミナーでの話への補足なんですが、特別な話題ではなくて一般論なことなのでここに書きます。理解したり覚えたりする目的には、テキストで書かれた等式などは不向きであること、一方で具体的な表示・計算にはやはりテキストが有効であることを説明します。例として、集合圏内のコモノイドを取り上げます。内容： 定義はどうせ覚えきれない モノイドのイメージ モノイドのひっくり返し 要素を追いかける 余結合法則 左余単位法則、右余単位法則 集合圏内のコモノイドとは何なのか コモノイドはつまらないのか…