Coherence for bicategories and indexed categories (Q1059704)

In this well-written article the authors provide a consistent approach to the subject described by the title, giving complete (partially modified or simplified) definitions, presenting the coherence results on a reasonable level of generality, carefully comparing their work with \textit{J. Bénabou}'s early results [cf. Lect. Notes Math. 47, 1-77 (1967; Zbl 0165.330) and Cah. Topologie Géom. Différ. 10, 1-126 (1968; Zbl 0162.326)], and finally adapting \textit{M. L. Laplaza}'s elegant approach [J. Algebra 84, 305-323 (1983; Zbl 0525.18005)] to the present context.