Title: Proof-theoretical coherence
Subjects: Categories (Mathematics), Proof theory