行の銭湯にある「|-」に反応するようになってしまった。よって、証明可能性記号が行頭で使えない。過去記事は壊れる。

n段のパレス - (新) 檜山正幸のキマイラ飼育記 メモ編 いったん気付いてしまうと、これは使える感じ。非関手／非自然変換の手法と相性がいい。圏論的モダリティも、パレスを作る手法と解釈できる。テンソル計算では、次のようなパレスが使える。 複線形写像…