On Tue, 24 Sep 2013, Harley D. Eades III wrote:
I am interested in linearly distributive categories with exponentials. That is the right adjoint of tensor.
A minor point: the adjoint to tensor is probably best called something like "linear hom", rather than "exponential", as in the context of linear algebra, "exponentials" refers to the operators ! and ?, and not the internal hom -o. Confusing, I know, but I guess you can blame Girard if you don't like the terminology. It's rather set by now, however! -= rags =- PS - we do have a paper on the "exponentials", curiously enough entitled "! and ?". It's on my webpage, where you've found the other papers, and appeared in MSCS (1996).
I was trying to find references on these, but was not successful. Google was not on my side.
However, I decided to visit Seely's webpage and found the following:
J. Cockett and R. Seely. Proof theory for full intuitionistic linear logc, bilinear logic, and mix categories. Theory and Applications of Categories, 3(5):85?131, 1997.
The above paper covers what I need.
If anyone has any other references they recommend I would love to read them.
Thanks, .\ Harley
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]