>>489
ヒルベルト空間論というか量子力学で言うところの|ψ>じゃない？
つまり安直に状態とは可分なヒルベルト空間の元である〜。

でファンクタFを作用させるのはF|ψ>みたいに考えるといいのか。
(F 'join' F)|ψ> -> F|ψ>
てか？
exp(F) = 1 + 1/2! * F + 1/3! * F + 1/4! * F + ...
とかも考えたら面白そう。