Talk:*-autonomous category

From Wikipedia, the free encyclopedia

I have just added a missing OP to the 'alternative definition'.

I have some problems with this article. The 'definition' is not the one given by Barr in his LNM monograph. Moreover, neither the 'alternative definition' nor the 'property' appear in either of the cited articles. I have not taken the time to verify them, and I suppose that they may be wrong. Are you sure that existence of an equivalence implies existence of a dualising object?

Sam