Hmm, back down the comonad development path for me, where CA, linear logic, convolutions, and modal possibility seem to find their meet. However now, with the additional sheaf-theoretic motivation that the *widths* of trajectories vary like dimension along fibers. -- Sent from: http://friam.471366.n2.nabble.com/