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 のモノイダル圏のモノイドとみなせるという話なのだけど、モノイダル圏の構成(特に⊗の定義)がややこしいというかトリッキーというか……
λ. 協力関係発展で一致 日中首脳会談
結局、落ち着くべきところに落ち着いたのではないかという印象。
[ツッコミを入れる]
