I matematikken kan egenskaper til mange matematiske systemer uttrykkes ved hjelp av diagrammer bestående av piler. Ved å innføre kan man formalisere denne ideen.