Noción en teoría de las categorías.