I might have some time to work on this if anyone would like. I can post it here before it goes up on nLab if you want to proof it first.

]]>There are many cases which have different meaning and formulation, in classical statistical and quantum statistical physics, microcanonical ensemble and macrocanonical ensemble etc. It would be nice to have those reflected (I canâ€™t do any of these in next several months).

]]>I added some stuff about states in statistical physics to state.

]]>