Title: Proof-net categories
Subjects: Categories (Mathematics), Proof theory