トップ «前の日記(2006-01-19) 最新 次の日記(2006-01-24)» 月表示 編集

日々の流転


2006-01-22 [長年日記]

λ. 第十三回圏論勉強会

今日は圏論勉強会。今回は田町の男女共同参画センターという場所だった。

写真

昼飯

昼飯の時に駅の反対側に行って何か見たことのある風景だなと思ったら、慶應の三田キャンパスがあるのが田町だった。気づかなかった……

[昼食]

Session 24 の Exercise 3 (p.268)

力学系(dynamic system) X↻α と Y↻β の表現(presentation)から力学系 X↻α×Y↻β の表現を求める方法を考える問題で苦戦してしまった。X↻α の表現における生成元の集合をGX、関係(等式の集合)をRXとすると、以下のようにすれば一応表現は得られると思うが、これだと生成元の定義が嫌な感じ。

生成元の集合
{ (x,y) | x∈X, y∈Y, x∈GX∨y∈GY }
等式の集合
{ γmin(m,i)m-min(m,i)a,βi-min(m,i)c) = γmin(n,j)n-min(n,j)b,βn-min(n,j)d) | (αma = αnb)∈RX, (a,b∈GX), (βic = βjd)∈(RY∪RY-1), (c,d∈GY)}
(ただしRY-1はRYの等式の両辺を入れ替えたもの。)
図 (2006-02-01 追記)
X↻α
X
Y↻β
Y
X↻α×Y↻β
Z
Tags: 圏論

λ. 初雪 (2)

[雪景色] 一夜明けてこんな感じ。

本日のツッコミ(全3件) [ツッコミを入れる]
ψ たけを (2006-01-24 00:17)

内容と全然関係ないんだけど、ここをIEで開けるとIEが100発100中で落ちます(汗 Firefoxでは大丈夫なんだけど。

ψ さかい (2006-01-24 00:20)

これがいわゆるブラクラ?<br>……なんで落ちるんだろう(汗

ψ さかい (2006-01-24 00:29)

19日の日記でrubyタグを閉じ忘れていたのが原因だったようです。しかし、HTMLの記述ミスぐらいでクラッシュするとは……