I will show how coherence theorems for structures like skew monoidal, skew (non-monoidal and monoidal) closed categories and partially normal skew monoidal categories can be obtained with proof-theoretical methods of cut elimination and focusing.
This is based on joint works with Niccolò Veltri, Cheng-Syuan Wan and Noam Zeilberger.