Esta composición de la transformación natural es asociativa, y permite considerar la colección de todos los funtores "C" → "D" como categoría en sí misma (véase abajo Categorías de funtores).