commuting of a diagram

1. Definition

Let 20220824222939-kommutieren_eines_diagramms_760824120891fc757bc0445145b027d09b237baa.svg be a category.

A some morphisms $f,g,h,…$ and objects 20220824222939-kommutieren_eines_diagramms_abf20a4115ad33d1f4fdd66db9d6dd0ade6c0a98.svg are said to form a commuting diagram, if for every triangle of the form

20220824222939-kommutieren_eines_diagramms_a7f6cf368ad220f0653afd67eabf5a45394033c7.svg

it follows for the composition, that

20220824222939-kommutieren_eines_diagramms_3ef72ced8483be3384d0352f7357d79ea7ef363b.svg

Date: nil

Author: Anton Zakrewski

Created: 2024-10-11 Fr 21:30