Title: Cut Elimination in Categories (Trends in Logic)
Subjects: Categories (Mathematics), Proof theory