Learn More
This paper shows how the use of the " Chu construction " can simplify the rather complicated construction of the *-autonomous category of reflexive ζ-ζ *-balls set up by the first author in the original papers and lecture notes on *-autonomous categories ([ Barr , 1976 , 1979 ]) .
  • 1