トップ «前の日記(2006-10-07) 最新 次の日記(2006-10-09)» 月表示 編集

日々の流転


2006-10-08 [長年日記]

λ. Arrows, like Monads, are Monoids by Chris Heunen and Bart Jacobs

<URL:http://lambda-the-ultimate.org/node/1750> より。 Arrowは Cop×C→C のモノイダル圏のモノイドとみなせるという話なのだけど、モノイダル圏の構成(特に⊗の定義)がややこしいというかトリッキーというか……

Tags: 論文 圏論

λ. 協力関係発展で一致 日中首脳会談

結局、落ち着くべきところに落ち着いたのではないかという印象。

Tags: 時事