先日、子供らと『ハリー・ポッターと死の秘宝 PART1』を見たのだった。固有名詞がやたら出てきて、予備知識がない僕ら（子供も）にはちょっと分かりにくい。一番の感想は「みんな大人になってしまったなー」。ハリーは無精ひげが生えるし、ロンはけっこうな…

バイノイド構造上の順次積を使って： 定義： f⊥g ⇔ (f |× g = f ×| g) Cをプレモノイド圏として、A⊆Cが直交系とは： ∀f,g∈A.( f=g ∨ f⊥g )