「有向コンテナと多項式コモナド」にて: モノイド類似構造である有向コンテナ〈圏〉構造が、多項式自己関手を台とするコモノイド構造として反映されるわけです。面白いですね。 面白そうなので、アーマン/ウウスタル〈Danel Ahman, Tarmo Uustalu〉以外の論文もチラチラと眺めてみました(ちゃんと読んではいない)。Agdaのようなプログラミング言語じゃなくても、コミュニティごとにジャーゴン〈隠語・方言の体系〉が形成されているようで、内容以前に言語的解釈で骨が折れます。ちょっとこれはコミュニケーションが困難だな、と感じました。コンテナ/多項式界隈の錯綜した概念・用語・記法を整理します。一…