E9. Linear duals and *-autonomous categories

Content in transit ...