「準マルコフ圏からなる2-圏」からはじまる一連の記事を書いているのですが、これらの記事の目的は「準マルコフ圏からなる2-圏内の余モナドの余クライスリ圏を調べる」ことです。この記事のタイトルの「余計な話かも知れない」とは、上記の目的には不要かも…