I guess, thinking a little bit more about it, if we consider the case to be non-cartesian closed but rather symmetric monoidal (as in the material category outlined in the post above), then we are granted a linear logic interpretation (bounded resources, etc...). -- Sent from: http://friam.471366.n2.nabble.com/