Abstract de la publi numéro 10201

Certain conditions of coherence (commutativity of diagrams) for diagrams of canonical morphisms are obtained. Lambda-calculus and Gentzen-style deductive system are used. In logical terms when the diagram is represented by pair of derivations, the main condition is slightly more general than balancedness of the final sequent.