線形等式的法則〈linear equational law〉に関しては、障害子〈obstructor〉を考えることができる。あらゆる法則に関して障害子を考えてみる。たぶんいいことある。階付きベクトル空間の自己射で、次数1のものをアップ作用素と呼ぶ。アップ作用素を備えた階…