用語はフーティア流。Gがωグラフのとき、f, g∈Giで、f, gが共端のとき、Gi+1(f, g)が高々1個しかセルを含まないとき、やせたωグラフと呼ぶ。1-グラフ＝1-骨格的な*1ωグラフがやせていれば、有向単純ブラフとなる。やせたマグマ（ωグラフ上のマグマ）は、プレ…

T = T7 のパズルは面白い。解けてないけど。 A tree is the same as seven trees. ナンセンス証明（nonsense proof）はできた。「ナンセンス証明が妥当である」というメタ定理があるけど、同型(bijection)を構成的・具体的に与えたい -- そうじゃないと面白…