テンパリー／リーブ圏 - 檜山正幸のキマイラ飼育記 メモ編あたりから、少しは理解が進んだ。書いておく。2次元のn点（n紐）カウフマン図にループ数のカウントkを組にしたものを射とする圏Dを考える。初歩的な圏になるが、分断的かつ可逆（亜群）となる。D(n,…

内積を扱っていて、直交性や直交補空間を使わないのは無理がある。だが、内積の対称性をまったく仮定しないと直交性がうまく定義できない。x⊥y ⇒ y⊥x がないと辛い。一般には、(x|y) = 0 ⇒ (y|x) = 0 は出ない。2次元で反例：以下、<x, y>は縦ベクトル、[x, y]は横</x,>…