トラス（truss）圏構成 http://d.hatena.ne.jp/m-hiyama-memo/20070117/1168993359 この定義を拡張できるかも。ブレイドとか、その他、なんらかの複体とみなせる図形的対象の圏または複圏、またはマグマを考える。これはシェープの集合だが、なんらかの結合…

僕が知る限り、自然演繹（他のシステムでもいいのだが）の証明過程を証明図のアニメーションだという説明を見たことがない。証明図が静的な図形のように語っている。これはいけない、これでは本質がわからない。計算も動的（時間的な推移）だし、証明も動的…