Abbildungsdiagramm/Komposition/Definition

Abbildungsdiagramm

Unter einem Abbildungsdiagramm versteht man eine Familie ${}M_{i}$, ${}i\in I$, von Mengen und eine Familie ${}F_{\lambda }$, ${}\lambda \in \Lambda$, von Abbildungen, wobei jede Abbildung ${}F_{\lambda }$ von einem ${}M_{i}$ in ein ${}M_{j}$ geht. Jede aus diesen Abbildungen definierte Verknüpfung ${}F_{\lambda _{n}}\circ \cdots \circ F_{\lambda _{1}}$ heißt eine Abbildungskomposition des Diagramms.