加法群 は，対象が１つである圏 を定める． この圏に乗法群 0}"> が 0,\;a\in\mathbb{R})"> により作用する． 圏 を， で定義する． この圏に乗法群 0}"> が 0,\;a\in\mathrm{Ob}(\mathcal{L})=\mathbb{R})"> により作用する． このとき 0}"> 同変な関手 が…

ネット上で絶賛されている本． （等温操作，自由エネルギー）と（断熱操作，内部エネルギー）を並列的に扱っている．その両者が出会う Carnot サイクルが山場だが，理論の要である Carnot の定理の証明のために新たな仮定が必要となってしまい，そのことがこ…

http://jp.arxiv.org/abs/0908.4059

http://jp.arxiv.org/abs/0908.4387

http://jp.arxiv.org/abs/0908.4414