Posted by jon zingale on URL: http://friam.383.s1.nabble.com/now-it-s-personal-tp7599139p7599178.html
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.