「globular, 課題」というタグの組み合わせで、あると良さそうな機能を書く。具体的にどうするかは分からなくても、とにかくメモしていく。 ラベル以外に何らかのコメント、ドキュメンテーション 記録したワークスペースのソート、特に日付順。今、日付がよ…

描いた図形を一時的に保存して後で使いたいとき。 Theoremでパレットに入れる。 一時的だから名前を付けなくてもいい。 パレットに入ったサロゲートをSelectする。 サロゲートをクリックすると、リライターが動いて定義が展開される。 Restrictで見えている…

Projectカウンターの番号は、射影のファイバーの次元となる。これは、元図形と射影図形の次元の差。埋め込みではないので余次元というのはオカシイ。適切な言葉がないが、情報がどの程度落ちるかを示す。数が多くなると、それだけ情報が落ちて粗雑になる。Pr…

主結合 -- target(S) = B = source(T) のときに、Bを接着セルとして結合する。 複結合 -- targetk(S) = B = sourcek(T)、k＜(n - 1) のときに、Bを接着セルとして結合する。 ヒゲ結合 -- 次元の異なるセルの結合。次元の小さいセルからは主結合に見える。つ…

あ、そうそう。Globularの物凄くイライラするところ - 檜山正幸のキマイラ飼育記 メモ編 -- なんでそう思ったかを書く。ニョロニョロ関係があるとき、ホムセットの同型としての随伴が出る。それを証明する。n-セルであることを :n で示す。-[-]- はペーステ…

「なにかチョットやってみた」とかのスニペットをブログ・エントリーに貼り付けたり出来ないこと。そもそもソースコードとかスクリプトというものがなくて、ワークスペースのスナップショットを保存出来るだけ。publishすればワークスペースのスナップショッ…