同一の台（対象）の上に代数（モノイド）と余代数（余モノイド）構造があり、余乗法（対角、余積、余和）Δ:A→A×Aが代数の準同型（モノイド射）になっているとき双代数（圏論的により適切な呼び名は双モノイド）と呼び、余乗法が代数準同型であることを双代数…

昨日、「モノイド圏をテンソル圏と呼ぶのはよくない」と言ったが、V-豊饒の場合を考えると、結局モノイド圏とテンソル圏の区別はなくなってしまう。なんだよ、やっぱり同意語か？それと、堅い対称テンソル圏の共役（conjugate）の定義を引き写しておく； Xの…

本編KozenのKleene代数講義テキスト - 檜山正幸のキマイラ飼育記 (はてなBlog)からのコピー。 Dexter Kozenの"Introduction to Kleene Algebra"という、一連の講義テキストが入手可能。No.1は、http://www.cs.cornell.edu/Courses/cs786/2004sp/Lectures/l01…