とりあえず試行錯誤だ。 方向は、左から右（これはいい）、下から上（逆だーーー！） アタッチ操作は、「メインの図に、パレットのセルを」アタッチする。今の図にアタッチしたい部品をパレットから選んでクリックする。アタッチャブルかどうかは判定してく…

ムービー変形 - 檜山正幸のキマイラ飼育記 メモ編 で挙げた Moving Knots and Knotted Surfaces http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.49.4021&rep=rep1&type=pdf は非常に良い解説で、3次元の結び目とその2次元表現である結び目図（kn…

初歩的モノイド圏（rudimentary monoidal category）とは、 対象は自然数 モノイド積の対象部分は足し算 である圏。その例： 自然数の順序圏 置換圏（対称圏） 組み紐圏、、トレース付きだとサークル（ループ）を認める。 テンパリー／リーブ圏、、トレース…

過去の記事↓から、アレクサンダー／パヒナー移動（Alexander/Pachner move）、カーター／サイトウ（さいとう・まさひこ）移動に関するものを拾った。 カーター／さいとう移動 - 檜山正幸のキマイラ飼育記 メモ編 Pachner移動 - 檜山正幸のキマイラ飼育記 メ…