Lo que la teoría de categorías enseña es que 'natural' es un término técnico bien definido en matemática: equivalencia natural.