Exercice 2, § 1

Reprenons les notations de la prop. 7 de I, p. 15.

a) Donner un exemple où les carrés (12) et (14) sont cartésiens, mais où le carré (13) ne l’est pas.

b) On suppose que l’application $f\circ g$ est surjective et universellement stricte. Démontrer que si deux des carrés (12), (13) et (14) sont cartésiens, le troisième l’est aussi. (Utiliser l’exercice 1.)