Or l'obstruction à l'injectivité est justement ... Bijection et Propriété universelle du
quotient. ... k est injective d'image l'ensemble des applications de X dans Y qui
sont compatibles avec R. Elle ... Par exemple, dans l'exemple 3 sur les livres,
plutôt que de ... Par unicité de la factorisation par ? (ou par le fait que ? est
surjectif),. 
