Title: Coherence in category theory and the Church-Rosser property