From Proof Nets to the Free *-Autonomous Category (Logical Methods in Computer Science, 2006)