Proof Net Categories 2007