diagramma

Un diagramma è una collezione di insiemi non vuoti collegati da applicazioni.

Esempio: $X\stackrel{f}{\to }Y\stackrel{g}{\to }Z$ e un’altra freccia $X\stackrel{g\circ f}{\to }Y$.

• proiezione canonica