DescriptionPreuve de 0+Y ∼ Y dans une catégorie quelconque.svg
Français : Sur le diagramme de gauche, est le morphisme canonique de la colimite en pointillé jusqu'au cocône sur Y. On en déduit .
Sur le diagramme de droite, il ne peut y avoir qu'un unique morphisme canonique de la colimite au cocône sur , on en déduit .
de partager – de copier, distribuer et transmettre cette œuvre
d’adapter – de modifier cette œuvre
Sous les conditions suivantes :
paternité – Vous devez donner les informations appropriées concernant l'auteur, fournir un lien vers la licence et indiquer si des modifications ont été faites. Vous pouvez faire cela par tout moyen raisonnable, mais en aucune façon suggérant que l’auteur vous soutient ou approuve l’utilisation que vous en faites.
partage à l’identique – Si vous modifiez, transformez, ou vous basez sur cette œuvre, vous devez distribuer votre contribution sous la même licence ou une licence compatible avec celle de l’original.