En teoría de categorías, una rama de las matemáticas.