Voir la notice de l'article provenant de la source Theory and Applications of Categories website
We construct a star-autonomous structure on the functor category $K^J$, where $J$ is small, $K$ is small-complete, and both are star-autonomous. A weaker result, that $K^J$ admits a linear distributive structure, is also shown under weaker hypotheses. The latter leads to a deeper understanding of the notion of linear functor.
@article{TAC_2008_20_a10, author = {Jeff Egger}, title = {Star-autonomous functor categories}, journal = {Theory and applications of categories}, pages = {307--333}, publisher = {mathdoc}, volume = {20}, year = {2008}, language = {en}, url = {http://geodesic.mathdoc.fr/item/TAC_2008_20_a10/} }
Jeff Egger. Star-autonomous functor categories. Theory and applications of categories, Tome 20 (2008), pp. 307-333. http://geodesic.mathdoc.fr/item/TAC_2008_20_a10/