日々の流転

λ. 3回目の夜勤明け

今日もまずお風呂に入って、寮の食堂で朝食、……と思ったら、風呂に入った後そのままうとうとして寝てしまった。昨日睡眠不足だったということもあるし、やはり疲れが蓄積してるんだろうな。夜勤は大変だよ。

で、起きたのが13時ごろだったので、適当に冷蔵庫の中にあった丸ごとバナナとヨーグルトを食べて、それから泳ぎに行く。今日も昨日と同じパターンで1km泳いだ。今日は休む時間を意図的に短くしたつもりだったけど、かかった時間はあまり変わらなかった。ローソンのスパゲティを食べて、筋トレして昼寝。

λ. Introducing categories to the practicing physicist by Bob Coecke

を読んだ。 先日のKindergarten Quantum Mechanicsよりこっちの方が分かりやすい。

biproductのところの「p_i∘q_j = δ_ij」、δって何かと思ったらクロネッカのδか。つまり、i=jなら恒等射に、i≠jなら zero map になると。 biproductの存在する圏での行列計算の話は Conceptual Mathematics にも出ていたので、大分から帰ったら簡単に比較しよう。

Quotation

But sometimes going into the area of pure mathematics can be useful exactly to avoid doing to much mathematics.

2007-11-18 追記

Conceptual Mathematics p. 281に「Warning!: In order to compare distributive categories with linear categories, we have written the matrices in a different (‘transpose’) way than they are usually written in linear categories.」と書いてあったように、行列が転置されているのが唯一の違い。