2016-01-24から1日間の記事一覧
n-キューブ=[0, 1]nをn-キャンバスとも呼び、n-キャンバスに描かれた図形=ダイアグラムを考える。n-キャンバスの座標のひとつ(1≦i≦n である番号iで識別)を選んで、それを時間軸とみたとき、時間軸とダイアグラムの組をストーリーと呼ぶ。x = (x1, ..., x…
イントネーションの関係から、「グロービュラー」より「グロビューラ」のほうが近いみたい。「ビュ」のあたりを強く発音する。
http://globular.science/1601.004v1 随伴対の左側にコモナド構造があるとき、右側にモナドを作れる。[追記] http://globular.science/1601.004v2 (間違いの訂正) [/追記]